Skip to main content
aboutsummaryrefslogtreecommitdiffstats
blob: d1f58fea0f2458f448a4b37a026a5dd7a65a0713 (plain)
ofshex dumpascii
0000 ca fe ba be 00 00 00 31 00 52 07 00 02 01 00 1f 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 72 .......1.R......org/sat4j/pb/cor
0020 65 2f 50 42 53 6f 6c 76 65 72 52 65 73 43 50 07 00 04 01 00 1c 6f 72 67 2f 73 61 74 34 6a 2f 70 e/PBSolverResCP......org/sat4j/p
0040 62 2f 63 6f 72 65 2f 50 42 53 6f 6c 76 65 72 43 50 01 00 10 73 65 72 69 61 6c 56 65 72 73 69 6f b/core/PBSolverCP...serialVersio
0060 6e 55 49 44 01 00 01 4a 01 00 0d 43 6f 6e 73 74 61 6e 74 56 61 6c 75 65 05 00 00 00 00 00 00 00 nUID...J...ConstantValue........
0080 01 01 00 0c 4d 41 58 43 4f 4e 46 4c 49 43 54 53 05 00 00 00 00 00 01 86 a0 01 00 05 62 6f 75 6e ....MAXCONFLICTS............boun
00a0 64 01 00 06 3c 69 6e 69 74 3e 01 00 75 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 d...<init>..u(Lorg/sat4j/minisat
00c0 2f 63 6f 72 65 2f 4c 65 61 72 6e 69 6e 67 53 74 72 61 74 65 67 79 3b 4c 6f 72 67 2f 73 61 74 34 /core/LearningStrategy;Lorg/sat4
00e0 6a 2f 70 62 2f 63 6f 72 65 2f 50 42 44 61 74 61 53 74 72 75 63 74 75 72 65 46 61 63 74 6f 72 79 j/pb/core/PBDataStructureFactory
0100 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 49 4f 72 64 65 72 3b ;Lorg/sat4j/minisat/core/IOrder;
0120 29 56 01 00 09 53 69 67 6e 61 74 75 72 65 01 00 a1 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e )V...Signature...(Lorg/sat4j/min
0140 69 73 61 74 2f 63 6f 72 65 2f 4c 65 61 72 6e 69 6e 67 53 74 72 61 74 65 67 79 3c 4c 6f 72 67 2f isat/core/LearningStrategy<Lorg/
0160 73 61 74 34 6a 2f 70 62 2f 63 6f 72 65 2f 50 42 44 61 74 61 53 74 72 75 63 74 75 72 65 46 61 63 sat4j/pb/core/PBDataStructureFac
0180 74 6f 72 79 3b 3e 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 72 65 2f 50 42 44 61 74 61 tory;>;Lorg/sat4j/pb/core/PBData
01a0 53 74 72 75 63 74 75 72 65 46 61 63 74 6f 72 79 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 StructureFactory;Lorg/sat4j/mini
01c0 73 61 74 2f 63 6f 72 65 2f 49 4f 72 64 65 72 3b 29 56 01 00 04 43 6f 64 65 0a 00 01 00 14 0c 00 sat/core/IOrder;)V...Code.......
01e0 0e 00 15 01 00 76 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 4c .....v(Lorg/sat4j/minisat/core/L
0200 65 61 72 6e 69 6e 67 53 74 72 61 74 65 67 79 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f earningStrategy;Lorg/sat4j/pb/co
0220 72 65 2f 50 42 44 61 74 61 53 74 72 75 63 74 75 72 65 46 61 63 74 6f 72 79 3b 4c 6f 72 67 2f 73 re/PBDataStructureFactory;Lorg/s
0240 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 49 4f 72 64 65 72 3b 4a 29 56 01 00 0f 4c at4j/minisat/core/IOrder;J)V...L
0260 69 6e 65 4e 75 6d 62 65 72 54 61 62 6c 65 01 00 12 4c 6f 63 61 6c 56 61 72 69 61 62 6c 65 54 61 ineNumberTable...LocalVariableTa
0280 62 6c 65 01 00 04 74 68 69 73 01 00 21 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 72 65 2f ble...this..!Lorg/sat4j/pb/core/
02a0 50 42 53 6f 6c 76 65 72 52 65 73 43 50 3b 01 00 07 6c 65 61 72 6e 65 72 01 00 29 4c 6f 72 67 2f PBSolverResCP;...learner..)Lorg/
02c0 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 4c 65 61 72 6e 69 6e 67 53 74 72 61 74 sat4j/minisat/core/LearningStrat
02e0 65 67 79 3b 01 00 03 64 73 66 01 00 2a 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 72 65 2f egy;...dsf..*Lorg/sat4j/pb/core/
0300 50 42 44 61 74 61 53 74 72 75 63 74 75 72 65 46 61 63 74 6f 72 79 3b 01 00 05 6f 72 64 65 72 01 PBDataStructureFactory;...order.
0320 00 1f 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 49 4f 72 64 65 72 ..Lorg/sat4j/minisat/core/IOrder
0340 3b 01 00 16 4c 6f 63 61 6c 56 61 72 69 61 62 6c 65 54 79 70 65 54 61 62 6c 65 01 00 55 4c 6f 72 ;...LocalVariableTypeTable..ULor
0360 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 4c 65 61 72 6e 69 6e 67 53 74 72 g/sat4j/minisat/core/LearningStr
0380 61 74 65 67 79 3c 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 72 65 2f 50 42 44 61 74 61 53 ategy<Lorg/sat4j/pb/core/PBDataS
03a0 74 72 75 63 74 75 72 65 46 61 63 74 6f 72 79 3b 3e 3b 01 00 a2 28 4c 6f 72 67 2f 73 61 74 34 6a tructureFactory;>;...(Lorg/sat4j
03c0 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 4c 65 61 72 6e 69 6e 67 53 74 72 61 74 65 67 79 3c 4c /minisat/core/LearningStrategy<L
03e0 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 72 65 2f 50 42 44 61 74 61 53 74 72 75 63 74 75 72 org/sat4j/pb/core/PBDataStructur
0400 65 46 61 63 74 6f 72 79 3b 3e 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 72 65 2f 50 42 eFactory;>;Lorg/sat4j/pb/core/PB
0420 44 61 74 61 53 74 72 75 63 74 75 72 65 46 61 63 74 6f 72 79 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f DataStructureFactory;Lorg/sat4j/
0440 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 49 4f 72 64 65 72 3b 4a 29 56 0a 00 03 00 24 0c 00 0e 00 minisat/core/IOrder;J)V....$....
0460 0f 09 00 01 00 26 0c 00 0d 00 06 01 00 c2 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 .....&........(Lorg/sat4j/minisa
0480 74 2f 63 6f 72 65 2f 4c 65 61 72 6e 69 6e 67 53 74 72 61 74 65 67 79 3b 4c 6f 72 67 2f 73 61 74 t/core/LearningStrategy;Lorg/sat
04a0 34 6a 2f 70 62 2f 63 6f 72 65 2f 50 42 44 61 74 61 53 74 72 75 63 74 75 72 65 46 61 63 74 6f 72 4j/pb/core/PBDataStructureFactor
04c0 79 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 53 65 61 72 63 68 y;Lorg/sat4j/minisat/core/Search
04e0 50 61 72 61 6d 73 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 49 Params;Lorg/sat4j/minisat/core/I
0500 4f 72 64 65 72 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 52 65 Order;Lorg/sat4j/minisat/core/Re
0520 73 74 61 72 74 53 74 72 61 74 65 67 79 3b 29 56 01 00 ee 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d startStrategy;)V...(Lorg/sat4j/m
0540 69 6e 69 73 61 74 2f 63 6f 72 65 2f 4c 65 61 72 6e 69 6e 67 53 74 72 61 74 65 67 79 3c 4c 6f 72 inisat/core/LearningStrategy<Lor
0560 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 72 65 2f 50 42 44 61 74 61 53 74 72 75 63 74 75 72 65 46 g/sat4j/pb/core/PBDataStructureF
0580 61 63 74 6f 72 79 3b 3e 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 72 65 2f 50 42 44 61 actory;>;Lorg/sat4j/pb/core/PBDa
05a0 74 61 53 74 72 75 63 74 75 72 65 46 61 63 74 6f 72 79 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 taStructureFactory;Lorg/sat4j/mi
05c0 6e 69 73 61 74 2f 63 6f 72 65 2f 53 65 61 72 63 68 50 61 72 61 6d 73 3b 4c 6f 72 67 2f 73 61 74 nisat/core/SearchParams;Lorg/sat
05e0 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 49 4f 72 64 65 72 3b 4c 6f 72 67 2f 73 61 74 34 4j/minisat/core/IOrder;Lorg/sat4
0600 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 52 65 73 74 61 72 74 53 74 72 61 74 65 67 79 3b 29 j/minisat/core/RestartStrategy;)
0620 56 0a 00 03 00 2a 0c 00 0e 00 27 01 00 06 70 61 72 61 6d 73 01 00 25 4c 6f 72 67 2f 73 61 74 34 V....*....'...params..%Lorg/sat4
0640 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 53 65 61 72 63 68 50 61 72 61 6d 73 3b 01 00 09 72 j/minisat/core/SearchParams;...r
0660 65 73 74 61 72 74 65 72 01 00 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f estarter..(Lorg/sat4j/minisat/co
0680 72 65 2f 52 65 73 74 61 72 74 53 74 72 61 74 65 67 79 3b 01 00 9a 28 4c 6f 72 67 2f 73 61 74 34 re/RestartStrategy;...(Lorg/sat4
06a0 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 4c 65 61 72 6e 69 6e 67 53 74 72 61 74 65 67 79 3b j/minisat/core/LearningStrategy;
06c0 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 72 65 2f 50 42 44 61 74 61 53 74 72 75 63 74 75 Lorg/sat4j/pb/core/PBDataStructu
06e0 72 65 46 61 63 74 6f 72 79 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 reFactory;Lorg/sat4j/minisat/cor
0700 65 2f 53 65 61 72 63 68 50 61 72 61 6d 73 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 e/SearchParams;Lorg/sat4j/minisa
0720 74 2f 63 6f 72 65 2f 49 4f 72 64 65 72 3b 29 56 01 00 c6 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d t/core/IOrder;)V...(Lorg/sat4j/m
0740 69 6e 69 73 61 74 2f 63 6f 72 65 2f 4c 65 61 72 6e 69 6e 67 53 74 72 61 74 65 67 79 3c 4c 6f 72 inisat/core/LearningStrategy<Lor
0760 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 72 65 2f 50 42 44 61 74 61 53 74 72 75 63 74 75 72 65 46 g/sat4j/pb/core/PBDataStructureF
0780 61 63 74 6f 72 79 3b 3e 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 72 65 2f 50 42 44 61 actory;>;Lorg/sat4j/pb/core/PBDa
07a0 74 61 53 74 72 75 63 74 75 72 65 46 61 63 74 6f 72 79 3b 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 taStructureFactory;Lorg/sat4j/mi
07c0 6e 69 73 61 74 2f 63 6f 72 65 2f 53 65 61 72 63 68 50 61 72 61 6d 73 3b 4c 6f 72 67 2f 73 61 74 nisat/core/SearchParams;Lorg/sat
07e0 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 65 2f 49 4f 72 64 65 72 3b 29 56 0a 00 03 00 32 0c 00 4j/minisat/core/IOrder;)V....2..
0800 0e 00 2f 01 00 0c 73 6f 6d 65 43 72 69 74 65 72 69 61 01 00 03 28 29 5a 09 00 01 00 36 0c 00 37 ../...someCriteria...()Z....6..7
0820 00 38 01 00 05 73 74 61 74 73 01 00 21 4c 6f 72 67 2f 73 61 74 34 6a 2f 70 62 2f 63 6f 72 65 2f .8...stats..!Lorg/sat4j/pb/core/
0840 50 42 53 6f 6c 76 65 72 53 74 61 74 73 3b 09 00 3a 00 3c 07 00 3b 01 00 1f 6f 72 67 2f 73 61 74 PBSolverStats;..:.<..;...org/sat
0860 34 6a 2f 70 62 2f 63 6f 72 65 2f 50 42 53 6f 6c 76 65 72 53 74 61 74 73 0c 00 3d 00 06 01 00 09 4j/pb/core/PBSolverStats..=.....
0880 63 6f 6e 66 6c 69 63 74 73 09 00 01 00 3f 0c 00 40 00 41 01 00 11 4e 4f 5f 53 49 4d 50 4c 49 46 conflicts....?..@.A...NO_SIMPLIF
08a0 49 43 41 54 49 4f 4e 01 00 24 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 6f 72 ICATION..$Lorg/sat4j/minisat/cor
08c0 65 2f 49 53 69 6d 70 6c 69 66 69 65 72 3b 0a 00 01 00 43 0c 00 44 00 45 01 00 0d 73 65 74 53 69 e/ISimplifier;....C..D.E...setSi
08e0 6d 70 6c 69 66 69 65 72 01 00 27 28 4c 6f 72 67 2f 73 61 74 34 6a 2f 6d 69 6e 69 73 61 74 2f 63 mplifier..'(Lorg/sat4j/minisat/c
0900 6f 72 65 2f 49 53 69 6d 70 6c 69 66 69 65 72 3b 29 56 0a 00 01 00 47 0c 00 48 00 49 01 00 08 72 ore/ISimplifier;)V....G..H.I...r
0920 65 64 75 63 65 44 42 01 00 03 28 29 56 09 00 3a 00 4b 0c 00 4c 00 06 01 00 0a 6e 75 6d 62 65 72 educeDB...()V..:.K..L.....number
0940 4f 66 43 50 09 00 3a 00 4e 0c 00 4f 00 06 01 00 12 6e 75 6d 62 65 72 4f 66 52 65 73 6f 6c 75 74 OfCP..:.N..O.....numberOfResolut
0960 69 6f 6e 01 00 0a 53 6f 75 72 63 65 46 69 6c 65 01 00 12 50 42 53 6f 6c 76 65 72 52 65 73 43 50 ion...SourceFile...PBSolverResCP
0980 2e 6a 61 76 61 00 21 00 01 00 03 00 00 00 03 00 1a 00 05 00 06 00 01 00 07 00 00 00 02 00 08 00 .java.!.........................
09a0 19 00 0a 00 06 00 01 00 07 00 00 00 02 00 0b 00 02 00 0d 00 06 00 00 00 05 00 01 00 0e 00 0f 00 ................................
09c0 02 00 10 00 00 00 02 00 11 00 12 00 00 00 69 00 06 00 04 00 00 00 0b 2a 2b 2c 2d 14 00 0b b7 00 ..............i........*+,-.....
09e0 13 b1 00 00 00 03 00 16 00 00 00 0a 00 02 00 00 00 32 00 0a 00 33 00 17 00 00 00 2a 00 04 00 00 .................2...3.....*....
0a00 00 0b 00 18 00 19 00 00 00 00 00 0b 00 1a 00 1b 00 01 00 00 00 0b 00 1c 00 1d 00 02 00 00 00 0b ................................
0a20 00 1e 00 1f 00 03 00 20 00 00 00 0c 00 01 00 00 00 0b 00 1a 00 21 00 01 00 01 00 0e 00 15 00 02 .....................!..........
0a40 00 10 00 00 00 02 00 22 00 12 00 00 00 7a 00 04 00 06 00 00 00 0e 2a 2b 2c 2d b7 00 23 2a 16 04 .......".....z........*+,-..#*..
0a60 b5 00 25 b1 00 00 00 03 00 16 00 00 00 0e 00 03 00 00 00 37 00 07 00 38 00 0d 00 39 00 17 00 00 ..%................7...8...9....
0a80 00 34 00 05 00 00 00 0e 00 18 00 19 00 00 00 00 00 0e 00 1a 00 1b 00 01 00 00 00 0e 00 1c 00 1d .4..............................
0aa0 00 02 00 00 00 0e 00 1e 00 1f 00 03 00 00 00 0e 00 0d 00 06 00 04 00 20 00 00 00 0c 00 01 00 00 ................................
0ac0 00 0e 00 1a 00 21 00 01 00 01 00 0e 00 27 00 02 00 10 00 00 00 02 00 28 00 12 00 00 00 7e 00 06 .....!.......'.........(.....~..
0ae0 00 06 00 00 00 0c 2a 2b 2c 2d 19 04 19 05 b7 00 29 b1 00 00 00 03 00 16 00 00 00 0a 00 02 00 00 ......*+,-......)...............
0b00 00 3e 00 0b 00 3f 00 17 00 00 00 3e 00 06 00 00 00 0c 00 18 00 19 00 00 00 00 00 0c 00 1a 00 1b .>...?.....>....................
0b20 00 01 00 00 00 0c 00 1c 00 1d 00 02 00 00 00 0c 00 2b 00 2c 00 03 00 00 00 0c 00 1e 00 1f 00 04 .................+.,............
0b40 00 00 00 0c 00 2d 00 2e 00 05 00 20 00 00 00 0c 00 01 00 00 00 0c 00 1a 00 21 00 01 00 01 00 0e .....-...................!......
0b60 00 2f 00 02 00 10 00 00 00 02 00 30 00 12 00 00 00 72 00 05 00 05 00 00 00 0a 2a 2b 2c 2d 19 04 ./.........0.....r........*+,-..
0b80 b7 00 31 b1 00 00 00 03 00 16 00 00 00 0a 00 02 00 00 00 43 00 09 00 45 00 17 00 00 00 34 00 05 ..1................C...E.....4..
0ba0 00 00 00 0a 00 18 00 19 00 00 00 00 00 0a 00 1a 00 1b 00 01 00 00 00 0a 00 1c 00 1d 00 02 00 00 ................................
0bc0 00 0a 00 2b 00 2c 00 03 00 00 00 0a 00 1e 00 1f 00 04 00 20 00 00 00 0c 00 01 00 00 00 0a 00 1a ...+.,..........................
0be0 00 21 00 01 00 00 00 33 00 34 00 01 00 12 00 00 00 a4 00 05 00 01 00 00 00 56 2a b4 00 35 b4 00 .!.....3.4...............V*..5..
0c00 39 2a b4 00 25 94 9a 00 1d 2a b2 00 3e b6 00 42 2a b6 00 46 2a b4 00 35 59 b4 00 4a 0a 61 b5 00 9*..%....*..>..B*..F*..5Y..J.a..
0c20 4a 04 ac 2a b4 00 35 b4 00 39 2a b4 00 25 94 9e 00 12 2a b4 00 35 59 b4 00 4a 0a 61 b5 00 4a 04 J..*..5..9*..%....*..5Y..J.a..J.
0c40 ac 2a b4 00 35 59 b4 00 4d 0a 61 b5 00 4d 03 ac 00 00 00 02 00 16 00 00 00 2a 00 0a 00 00 00 49 .*..5Y..M.a..M...........*.....I
0c60 00 0f 00 4a 00 16 00 4b 00 1a 00 4c 00 27 00 4d 00 29 00 4e 00 38 00 4f 00 45 00 50 00 47 00 52 ...J...K...L.'.M.).N.8.O.E.P.G.R
0c80 00 54 00 53 00 17 00 00 00 0c 00 01 00 00 00 56 00 18 00 19 00 00 00 01 00 50 00 00 00 02 00 51 .T.S...........V.........P.....Q

Back to the top