SAT 2009 Competition: main competition (phase 1): benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
cmu-bmc-barrel6.cnf	UNSAT	0.12198	0.122023	1719550
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.490924	0.491433	1718822
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	8.64568	8.65619	1717990
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	10.2024	10.2053	1717938
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	11.9202	11.9251	1718250
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	21.5997	21.6168	1554104
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	92.234	92.2681	1718146
cmu-bmc-longmult15.cnf	UNSAT	178.011	178.089	1720642
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	246.657	246.724	1555040
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	362.542	362.659	1718302
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	433.514	433.633	1563464
aloul-chnl11-13.cnf	UNSAT	741.425	741.696	1720382

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	2.67759	2.67845	1560448
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	25.9461	25.9564	1560708
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	53.9628	53.9783	1722112
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	64.4302	64.4476	1558472
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	118.895	118.937	1558420
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	243.092	243.159	1560604
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	367.21	367.309	1560916
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	1068.73	1074.03	1560864
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1118.49	1118.93	1560136

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.02	1200.31	1557952
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.02	1200.32	1722512
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (TO)	1200.02	1200.41	1557588
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (TO)	1200.02	1200.32	1560344
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (TO)	1200.02	1200.42	1553792
hoons-vbmc-lucky7.cnf	? (TO)	1200.02	1200.31	1719862
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (TO)	1200.03	1200.32	1562684
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.03	1200.31	1556080
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.03	1200.32	1556548
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (TO)	1200.03	1200.32	1556808
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.03	1199.91	1724202
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.03	1200.41	1558212
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (TO)	1200.03	1200.41	1559200
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.03	1200.32	1557692
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.03	1200.41	1717054
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.04	1200.52	1554728
goldb-heqc-frg1mul.cnf	? (TO)	1200.04	1200.43	1719654
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.04	1200.32	1721262
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.04	1200.53	1553272
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.04	1200.43	1556132
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.04	1200.53	1716170
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.04	1200.42	1721212
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.05	1200.52	1556600
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.05	1200.52	1557016
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.05	1200.44	1715598
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.05	1200.74	1715806
manol-pipe-g7nidw.cnf	? (TO)	1200.05	1200.83	1724306
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.05	1200.51	1718198
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.05	1200.54	1581584
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.06	1200.44	1581324
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.06	1200.51	1558992
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.06	1200.33	1559616
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.06	1200.51	1717106
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.06	1200.61	1558836
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.06	1200.45	1554000
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.06	1200.42	1716794
mizh-sha0-36-2.cnf	? (TO)	1200.06	1200.41	1723994
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1200.06	1200.51	1557796
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.06	1200.43	1559252
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.06	1200.62	1556444
mizh-sha0-36-4.cnf	? (TO)	1200.06	1200.41	1720226
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.06	1200.51	1558004
manol-pipe-g6bi.cnf	? (TO)	1200.06	1200.41	1723734
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.06	1200.53	1716482
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.06	1200.42	1723012
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.07	1200.42	1722262
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.07	1200.53	1716690
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.07	1200.65	1580336
simon-s03-fifo8-300.cnf	? (TO)	1200.07	1200.43	1724150
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.07	1200.55	1715754
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.07	1200.54	1715962
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.07	1200.54	1716222
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.07	1200.41	1718094
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1200.07	1200.42	1563048
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (TO)	1200.07	1200.42	1562632
manol-pipe-c6bidw_i.cnf	? (TO)	1200.07	1200.43	1720278
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (TO)	1200.07	1200.42	1562944
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.07	1200.42	1721162
mizh-md5-48-5.cnf	? (TO)	1200.07	1200.42	1721110
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (TO)	1200.07	1200.42	1559720
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.07	1200.35	1722612
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.07	1200.42	1559772
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.07	1200.44	1722812
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.07	1200.42	1722862
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (TO)	1200.07	1200.43	1560032
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (TO)	1200.07	1200.52	1556860
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.07	1200.42	1563100
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (TO)	1200.07	1200.42	1555612
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.07	1200.53	1555456
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (TO)	1200.07	1199.92	1562892
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.07	1207.03	1581740
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.07	1200.45	1578932
mizh-sha0-36-3.cnf	? (TO)	1200.08	1200.41	1719810
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.08	1200.41	1718042
schup-l2s-abp4-1-k31.cnf	? (TO)	1200.08	1200.51	1719602
schup-l2s-guid-1-k56.cnf	? (TO)	1200.08	1200.52	1724098
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.08	1200.43	1553480
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.08	1200.42	1557484
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (TO)	1200.08	1200.43	1579400
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.08	1200.66	1553376
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.08	1200.42	1722562
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.08	1200.36	1555872
industrial/grieu/ vmpc_24.cnf	? (TO)	1200.08	1200.43	1718510
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (TO)	1200.08	1200.43	1554832
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.08	1199.92	1562736
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.08	1200.42	1563568
manol-pipe-c9.cnf	? (TO)	1200.09	1200.41	1724358
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.09	1200.45	1716014
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (TO)	1200.09	1207.02	1556756
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.09	1207.07	1579348
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1200.09	1200.51	1723062
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.09	1200.52	1562788
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (TO)	1200.09	1200.41	1553324
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.09	1200.41	1558784
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.09	1200.41	1716898
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.09	1200.53	1715910
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.09	1200.41	1559356
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.09	1200.41	1559512
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.09	1200.64	1716066
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.09	1200.52	1721862
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.09	1200.63	1716638
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.09	1200.43	1715702
APPLICATIONS/aprove09/ AProVE09-03.cnf	? (TO)	1200.09	1200.42	1560656
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.09	1200.55	1582156
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.09	1200.42	1562840
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.09	1200.42	1722962
goldb-heqc-term1mul.cnf	? (TO)	1200.09	1200.52	1723630
simon-s02b-dp11u10.cnf	? (TO)	1200.09	1200.42	1723838
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.09	1200.42	1563152
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.09	1200.66	1563308
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.09	1200.76	1554884
industrial/narain/ clauses-8.cnf	? (TO)	1200.09	1200.59	1718770
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.09	1200.65	1582416
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.09	1200.41	1716950
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.09	1200.53	1556340
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.09	1200.66	1580024
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.09	1200.54	1716274
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.09	1200.43	1723112
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (TO)	1200.09	1200.43	1579452
mizh-md5-47-3.cnf	? (TO)	1200.1	1200.42	1719498
manol-pipe-g10nid.cnf	? (TO)	1200.1	1200.57	1720174
manol-pipe-c6nidw_i.cnf	? (TO)	1200.1	1200.43	1724462
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.1	1200.52	1720330
mizh-sha0-35-3.cnf	? (TO)	1200.1	1200.41	1720694
een-tip-sat-texas-tp-5e.cnf	? (TO)	1200.1	1200.41	1720902
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.1	1200.55	1721512
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.1	1200.42	1563204
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.1	1200.46	1581064
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.1	1200.64	1578776
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.1	1200.42	1554416
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.1	1200.43	1715650
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.1	1200.44	1715858
APPLICATIONS/aprove09/ AProVE09-01.cnf	? (TO)	1200.1	1200.42	1560396
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.1	1200.53	1722162
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.1	1200.81	1723370
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.1	1200.42	1559668
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.1	1200.51	1558056
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.1	1200.44	1579972
APPLICATIONS/bitverif/ minor/minor064.cnf	? (TO)	1200.1	1200.42	1553168
APPLICATIONS/bitverif/ minor/minor032.cnf	? (TO)	1200.1	1200.44	1553220
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.1	1200.42	1562996
simon-s03-w08-15.cnf	? (TO)	1200.1	1200.63	1719758
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.1	1200.45	1716846
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.11	1200.47	1717210
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.11	1200.74	1717834
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.11	1200.55	1563256
APPLICATIONS/aprove09/ AProVE09-13.cnf	? (TO)	1200.11	1200.41	1560292
velev-engi-uns-1.0-4nd.cnf	? (TO)	1200.11	1200.42	1720122
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.11	1200.4	1718458
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (TO)	1200.11	1200.43	1560084
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.11	1200.46	1718406
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (TO)	1200.11	1200.53	1559928
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.11	1200.53	1554676
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.11	1200.44	1718614
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1200.11	1200.43	1580544
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.11	1200.63	1716430
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.11	1200.63	1582728
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (TO)	1200.11	1200.62	1578204
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.11	1200.64	1577892
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.11	1200.45	1580232
manol-pipe-c7bidw_i.cnf	? (TO)	1200.11	1200.44	1724254
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.11	1200.52	1722412
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.12	1200.42	1555248
velev-live-uns-2.0-ebuf.cnf	? (TO)	1200.12	1200.55	1723682
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.12	1200.44	1716118
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.12	1200.73	1716586
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.12	1200.53	1716326
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.12	1200.44	1717002
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.12	1200.45	1717314
industrial/grieu/ vmpc_25.cnf	? (TO)	1200.12	1200.54	1718354
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.12	1200.56	1718874
mizh-md5-47-4.cnf	? (TO)	1200.12	1200.42	1720538
manol-pipe-c10nid_i.cnf	? (TO)	1200.12	1200.77	1720746
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.12	1200.47	1723578
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (TO)	1200.12	1200.42	1557068
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.12	1200.43	1556704
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.12	1200.44	1556496
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.12	1200.44	1556028
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	? (TO)	1200.12	1200.43	1581948
APPLICATIONS/ bitverif/minand/minand128.cnf	? (TO)	1200.12	1200.44	1554208
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.12	1200.54	1580856
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (TO)	1200.12	1200.52	1579868
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.12	1200.54	1579816
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (TO)	1200.12	1206.26	1563620
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.12	1200.44	1563360
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.12	1200.43	1560552
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.12	1200.41	1559304
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.12	1200.42	1554156
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.13	1200.44	1718562
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.13	1200.44	1581896
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.13	1200.75	1581480
goldb-heqc-i10mul.cnf	? (TO)	1200.13	1200.43	1723422
manol-pipe-g10bidw.cnf	? (TO)	1200.13	1200.47	1723266
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.13	1200.45	1716742
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.13	1200.74	1582000
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.13	1200.43	1721762
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (TO)	1200.13	1200.53	1721712
goldb-heqc-alu4mul.cnf	? (TO)	1200.13	1200.43	1721006
manol-pipe-f10ni.cnf	? (TO)	1200.13	1200.7	1724046
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.13	1200.54	1716534
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.14	1200.56	1580752
manol-pipe-c7nidw.cnf	? (TO)	1200.14	1200.55	1723474
APPLICATIONS/aprove09/ AProVE09-10.cnf	? (TO)	1200.14	1200.56	1560812
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.14	1200.44	1563672
industrial/grieu/ vmpc_26.cnf	? (TO)	1200.14	1200.54	1718718
manol-pipe-g10id.cnf	? (TO)	1200.14	1200.45	1723526
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.14	1200.55	1580128
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.14	1200.44	1721962
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.14	1200.46	1721662
manol-pipe-f9n.cnf	? (TO)	1200.14	1200.46	1723942
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.14	1200.64	1580076
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.15	1200.79	1563724
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.15	1200.48	1722762
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.15	1200.45	1721362
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.16	1200.59	1554520
manol-pipe-c10nidw_s.cnf	? (TO)	1200.16	1200.7	1723214
manol-pipe-f9b.cnf	? (TO)	1200.16	1200.46	1719966
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.16	1200.69	1553844
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.16	1200.86	1716378
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.17	1200.49	1718666
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.17	1200.59	1556236
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.17	1200.49	1724410
velev-pipe-sat-1.0-b7.cnf	? (TO)	1200.17	1200.65	1723162
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.17	1200.67	1722362
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.18	1200.65	1577736
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1200.18	1200.73	1577476
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.18	1200.53	1555144
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.18	1200.48	1721812
goldb-heqc-dalumul.cnf	? (TO)	1200.18	1200.52	1720434
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	? (TO)	1200.19	1200.8	1577684
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.19	1200.81	1717782
goldb-heqc-x1mul.cnf	? (TO)	1200.19	1200.58	1719446
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.19	1200.5	1721412
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (TO)	1200.2	1200.63	1719342
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.2	1200.58	1577840
schup-l2s-motst-2-k315.cnf	? (TO)	1200.2	1200.54	1720018
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.2	1200.52	1722462
manol-pipe-c10nidw.cnf	? (TO)	1200.2	1200.71	1720070
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	? (TO)	1200.2	1200.74	1721312
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (TO)	1200.2	1200.52	1577788
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.21	1200.83	1717730
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (TO)	1200.21	1200.63	1722012
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1200.22	1200.62	1577632
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.22	1200.76	1577580
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (TO)	1200.22	1200.93	1719394
velev-pipe-sat-1.0-b10.cnf	? (TO)	1200.22	1200.65	1723318
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.24	1200.78	1719914

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	53.9318	83.8851	1563412
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (MO)	107.445	107.488	1717470
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (MO)	107.559	107.602	1717626
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (MO)	129.974	149.268	1719082
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (MO)	135.433	135.492	1717158
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (MO)	137.277	137.384	1717366
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (MO)	173.99	174.079	1717262
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (MO)	179.426	179.774	1717678
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (MO)	191.835	191.891	1717574
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (MO)	193.305	193.382	1717522
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (MO)	193.451	193.583	1717418
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (MO)	238.139	405.243	1719290
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (MO)	336.64	336.869	1718978
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (MO)	443.326	443.574	1717886
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (MO)	466.816	467.053	1719030
velev-vliw-uns-4.0-9C1.cnf	? (MO)	562.436	582.482	1723786
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (MO)	596.684	646.979	1719134
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	664.409	664.356	1719238
velev-vliw-uns-4.0-9-i1.cnf	? (MO)	775.901	776.361	1719706
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (MO)	917.789	918.032	1577528
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	1028.01	1028.33	1719186
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	1170.83	1171.33	1718926
velev-pipe-o-uns-1.0-7.cnf	? (MO)	1197.89	1258.98	1723890

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	Signal 11	74.8946	74.913	1554572

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	0.000999	0.00509703	1726210
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.000999	0.00499695	1736862
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.000999	0.00510288	1736562
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	0.001999	0.00542112	1726263
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT	0.137978	0.138702	1736362
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	UNSAT	4.28235	4.28732	1732012
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	UNSAT	17.9233	17.9281	1733862
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	UNSAT	31.2113	31.2203	1737012
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	UNSAT	52.0881	52.1175	1732112
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	61.0537	61.0818	1725256
CRAFTED/ramseycube/ Q32inK09.cnf	UNSAT	69.2045	69.2432	1733062
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	UNSAT	292.494	292.626	1725892
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	UNSAT	449.861	450.03	1725945
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	UNSAT	527.636	527.583	1734662
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	UNSAT	643.948	644.12	1731912
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	UNSAT	810.452	810.7	1736462
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	UNSAT	1137.31	1137.71	1728966
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	UNSAT	1189.2	1189.86	1730715

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT	0.014997	0.015042	1726104
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT	0.019996	0.018916	1726051
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	SAT	0.020995	0.0209439	1725998
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	SAT	0.025996	0.0264801	1726316
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	SAT	0.031995	0.032585	1730874
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	SAT	0.032994	0.033203	1730980
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	SAT	0.033994	0.034082	1731192
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	SAT	0.034993	0.035416	1731033
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	SAT	0.035993	0.036319	1730927
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.118981	0.119607	1736412
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.138978	0.139964	1737062
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.176973	0.176976	1734212
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.227964	0.227934	1734362
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.25896	0.258406	1734112
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.362944	0.362663	1734162
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.39094	0.39206	1734462
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.408937	0.410039	1734412
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.427934	0.427955	1734562
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.428934	0.429164	1734312
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.499923	0.500481	1734262
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.546916	0.54807	1736162
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.572912	0.573553	1734612
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.633903	0.634177	1734512
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.661899	0.661849	1736212
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.855869	0.854694	1733012
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	1.03884	1.03823	1736762
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	2.67359	2.67455	1732362
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	2.74358	2.74404	1736512
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	7.58585	7.58703	1734962
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	8.40172	8.40451	1732462
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	21.7557	21.7798	1735212
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	31.2952	31.3034	1735112
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	60.0169	60.0082	1732662
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	72.8519	72.8743	1734762
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	75.8865	75.9128	1732312
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	88.6875	88.7166	1735062
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	104.474	104.507	1735312
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	SAT	137.515	137.555	1736662
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	146.765	146.824	1735262
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	517.294	517.45	1738269
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	543.645	543.835	1734912
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	SAT	712.853	713.04	1736012
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	SAT	780.957	781.242	1737474
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	SAT	904.746	905.001	1732562
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	SAT	1107.06	1107.34	1732612

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.01	1200.31	1562476
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.01	1200.41	1729761
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.02	1200.31	1732812
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.02	1200.32	1730132
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.02	1200.41	1733312
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.02	1200.41	1561280
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.02	1200.31	1735712
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.02	1200.61	1728012
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1731404
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (TO)	1200.02	1200.31	1562164
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.02	1203.21	1726422
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.02	1200.31	1735612
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.02	1200.31	1734862
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.03	1200.62	1727217
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.03	1200.32	1562268
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.03	1200.32	1735362
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.03	1200.32	1734062
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1731457
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1731351
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1730079
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.03	1200.32	1733962
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.03	1200.42	1728754
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1731510
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.04	1200.33	1730397
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	? (TO)	1200.04	1200.51	1736812
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.04	1200.91	1726369
CRAFTED/ramseycube/ Q3inK12.cnf	? (TO)	1200.04	1200.53	1732912
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.04	1200.71	1726740
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.04	1200.43	1731669
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1727111
CRAFTED/ramseycube/ Q3inK11.cnf	? (TO)	1200.04	1200.31	1733112
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.05	1200.43	1729920
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.05	1200.53	1727535
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (TO)	1200.05	1200.42	1736312
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.05	1199.93	1730556
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.05	1200.41	1733212
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.05	1200.41	1733662
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1727641
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.05	1199.91	1726899
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.05	1200.31	1729867
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	? (TO)	1200.06	1200.61	1562372
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	? (TO)	1200.06	1200.41	1562008
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	? (TO)	1200.06	1200.41	1561800
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (TO)	1200.06	1200.41	1561540
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1725627
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1727058
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1727694
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.06	1200.34	1728224
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728913
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.06	1200.42	1729549
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.06	1200.42	1729443
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730026
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.06	1200.44	1730503
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730768
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.06	1200.84	1736712
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.06	1200.51	1732962
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.06	1200.41	1735662
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	? (TO)	1200.06	1200.41	1733262
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	? (TO)	1200.06	1200.41	1562424
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.06	1200.41	1734012
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1727959
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	1200.07	1200.42	1735762
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.07	1200.35	1730450
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	1200.07	1200.42	1735912
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.07	1200.42	1737112
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.07	1200.62	1728277
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.07	1200.42	1733562
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.07	1200.62	1727323
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.07	1200.52	1727376
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1731563
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1726793
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	1200.07	1200.42	1735862
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	? (TO)	1200.07	1200.52	1561436
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1200.07	1200.41	1561020
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1729390
CRAFTED/ramseycube/ Q3inK10.cnf	? (TO)	1200.07	1200.41	1732862
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1727164
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.07	1200.42	1736112
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	? (TO)	1200.08	1200.42	1736962
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.08	1200.73	1727482
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.08	1200.52	1729602
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (TO)	1200.08	1200.51	1560968
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.08	1200.52	1725415
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.08	1200.52	1727005
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729973
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.08	1200.43	1730238
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1725362
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.08	1200.52	1728489
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728330
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.08	1200.43	1735012
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1727747
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.08	1200.41	1735962
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.08	1199.96	1731812
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	? (TO)	1200.08	1200.44	1735162
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.08	1200.43	1729125
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.08	1200.52	1729231
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	1200.08	1200.52	1561332
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.08	1200.45	1730609
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (TO)	1200.09	1200.41	1561644
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1727853
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1727906
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (TO)	1200.09	1200.43	1737212
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1728860
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.09	1200.53	1729072
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729178
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.09	1200.42	1735512
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729708
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1729814
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1725521
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730291
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1730344
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1731298
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.09	1200.41	1735562
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.09	1200.41	1733512
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726687
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1726634
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.09	1200.51	1734712
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1731616
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.1	1200.61	1733762
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.1	1200.46	1731245
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.1	1200.51	1735462
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.1	1200.42	1733612
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.1	1200.41	1737686
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1729284
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.1	1200.52	1729019
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	? (TO)	1200.1	1200.43	1738057
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.1	1200.54	1725786
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.1	1200.46	1731962
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	1200.1	1199.96	1732212
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1728595
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728436
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1726528
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.1	1200.46	1737368
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	? (TO)	1200.1	1200.51	1562112
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.1	1200.42	1733462
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.1	1200.41	1735812
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1727800
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.1	1200.43	1726846
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.1	1200.54	1728118
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1730185
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.1	1200.51	1733912
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1729337
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1725733
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.11	1200.42	1736062
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1725574
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.11	1200.52	1561124
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1730821
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.11	1200.56	1731086
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	? (TO)	1200.11	1200.51	1561748
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1728065
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.11	1200.41	1562216
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (TO)	1200.11	1200.54	1737792
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1726475
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.11	1200.42	1733362
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.11	1200.46	1737580
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1726581
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.11	1200.56	1737633
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.11	1200.42	1736612
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.11	1200.46	1562580
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.11	1200.52	1734812
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	? (TO)	1200.11	1200.52	1738216
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	1200.11	1200.41	1738375
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.11	1200.52	1727429
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	? (TO)	1200.11	1200.41	1561696
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1725680
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1728648
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.11	1200.46	1732512
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.11	1200.63	1727588
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.11	1200.44	1725309
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.12	1200.52	1733812
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.12	1200.41	1725468
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.12	1200.72	1725839
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.12	1200.52	1727270
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.12	1200.53	1728542
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.12	1200.44	1728701
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.12	1200.43	1728807
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.12	1200.42	1733712
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	? (TO)	1200.12	1200.84	1735412
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	? (TO)	1200.12	1200.41	1736912
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	? (TO)	1200.12	1200.43	1738163
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	1200.12	1200.43	1738322
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.13	1200.46	1732262
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.13	1200.43	1726157
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.13	1200.46	1737527
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.13	1200.47	1731862
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.13	1200.54	1731139
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	? (TO)	1200.13	1200.47	1732412
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.13	1200.75	1730662
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.13	1200.46	1729655
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.13	1200.55	1733412
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	? (TO)	1200.13	1200.45	1738110
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.14	1200.45	1737845
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.14	1200.53	1726952
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.14	1200.44	1737951
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	1200.14	1200.56	1737421
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.14	1200.46	1737262
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.14	1200.44	1728171
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.15	1200.66	1732762
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	? (TO)	1200.15	1200.66	1562060
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.15	1200.68	1728383
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.15	1200.46	1737315
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.15	1200.57	1561176
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	? (TO)	1200.15	1200.57	1561384
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	? (TO)	1200.15	1200.61	1561904
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.15	1200.45	1736262
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.16	1200.57	1732162
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.16	1200.46	1729496
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	? (TO)	1200.16	1207.12	1561488
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.16	1200.46	1732062
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1200.19	1200.49	1738004
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.2	1200.62	1562528
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.2	1200.5	1733162
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.21	1200.62	1561072
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.22	1200.52	1737739

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (MO)	90.9192	90.9551	1561228
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (MO)	95.2365	95.2743	1562320
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	? (MO)	103.522	138.704	1561956

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	Signal 11	303.778	360.767	1737898

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1028159446-096.cnf	UNSAT	9.76151	9.76533	1517929
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1369720750-015.cnf	UNSAT	10.4644	10.4685	1517905
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1906521511-089.cnf	UNSAT	10.9933	12.26	1517977
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S253750560-086.cnf	UNSAT	11.2673	11.277	1517965
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S680239195-053.cnf	UNSAT	12.7991	12.8114	1517953
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S2043187304-036.cnf	UNSAT	14.8607	14.8768	1517857
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S23373420-028.cnf	UNSAT	15.2117	15.2213	1517989
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S404185236-001.cnf	UNSAT	16.2885	16.3033	1517941
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf	UNSAT	17.5223	17.5338	1518001
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S2025517367-061.cnf	UNSAT	20.9748	21.1051	1517893
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S367138237-029.cnf	UNSAT	22.2306	22.2375	1517917
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1700363952-014.cnf	UNSAT	27.5188	27.5407	1517821
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S502087726-095.cnf	UNSAT	32.759	32.776	1517881
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1983754128-073.cnf	UNSAT	32.78	32.7978	1517773
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S928666993-098.cnf	UNSAT	35.6896	35.7021	1517809
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1807135406-059.cnf	UNSAT	40.7418	40.7628	1517833
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1039370030-037.cnf	UNSAT	41.1417	41.1552	1517209
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S999404609-010.cnf	UNSAT	43.0345	43.0631	1517797
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S260616787-042.cnf	UNSAT	46.8969	46.9152	1517869
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S387386125-069.cnf	UNSAT	52.0701	52.0968	1517197
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S104085281-076.cnf	UNSAT	57.2563	57.279	1517185
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S2104277852-078.cnf	UNSAT	59.442	59.4661	1517221
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1694258328-099.cnf	UNSAT	62.0976	62.1462	1517785
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1394036608-091.cnf	UNSAT	68.5036	68.5614	1516945
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1375576340-029.cnf	UNSAT	75.1716	75.2097	1517245
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1553390498-064.cnf	UNSAT	76.6154	76.6524	1517233
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1580204273-012.cnf	UNSAT	78.2881	78.3327	1517845
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S816613570-013.cnf	UNSAT	79.3159	79.3581	1517173
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S418505498-026.cnf	UNSAT	84.4872	84.5319	1517269
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S125259973-020.cnf	UNSAT	97.1012	97.1425	1517281
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S531507935-068.cnf	UNSAT	99.4349	99.4674	1517041
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S596342014-039.cnf	UNSAT	103.884	103.921	1516993
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S131938947-014.cnf	UNSAT	108.796	108.839	1517257
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1136141672-041.cnf	UNSAT	137.967	138.012	1517017
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1916972979-060.cnf	UNSAT	140.832	140.902	1514893
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1854680784-082.cnf	UNSAT	143.586	143.668	1516933
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1305875336-097.cnf	UNSAT	146.029	146.095	1514917
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1353993612-015.cnf	UNSAT	151.791	151.851	1517353
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1410489780-030.cnf	UNSAT	154.86	154.929	1514929
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S712437980-063.cnf	UNSAT	160.967	161.03	1514941
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S785082413-028.cnf	UNSAT	162.2	162.246	1514977
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S845966893-046.cnf	UNSAT	162.454	162.504	1514953
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S559732886-091.cnf	UNSAT	166.862	166.927	1514965
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S492033085-065.cnf	UNSAT	167.116	167.181	1517389
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S122462268-047.cnf	UNSAT	176.722	176.801	1514905
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S291433416-025.cnf	UNSAT	177.812	177.862	1514989
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S572248576-042.cnf	UNSAT	178.766	178.821	1516957
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1331382449-070.cnf	UNSAT	178.935	179.005	1515001
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1159067237-017.cnf	UNSAT	187.615	187.686	1517725
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1035441377-058.cnf	UNSAT	194.826	194.888	1517377
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S393462637-097.cnf	UNSAT	204.833	204.902	1517305
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S565564805-059.cnf	UNSAT	225.898	225.968	1517005
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S444219303-098.cnf	UNSAT	261.32	261.42	1517293
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1528023000-027.cnf	UNSAT	269.069	269.158	1516981
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S2096960818-049.cnf	UNSAT	287.901	288.002	1517029
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1746008863-010.cnf	UNSAT	301.255	301.361	1517713
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S121765931-081.cnf	UNSAT	325.586	325.681	1516969
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S190880026-038.cnf	UNSAT	352.166	352.254	1517761
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1775841359-070.cnf	UNSAT	364.367	364.494	1517401
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1350958473-082.cnf	UNSAT	379.57	379.67	1517365
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1563412474-059.cnf	UNSAT	423.977	424.147	1517341
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S332478069-041.cnf	UNSAT	467.658	467.841	1517329
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S287522321-032.cnf	UNSAT	488.245	488.425	1517317
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S729526068-046.cnf	UNSAT	506.49	506.635	1517665
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S2007898659-069.cnf	UNSAT	582.064	582.288	1517749
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1810287895-075.cnf	UNSAT	588.055	588.236	1517677
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1628763900-004.cnf	UNSAT	650.315	650.487	1517581
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1377066099-004.cnf	UNSAT	681.016	681.192	1517689
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1007745655-097.cnf	UNSAT	705.687	705.976	1517569
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S583379276-046.cnf	UNSAT	717.111	717.366	1517533
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S356738975-073.cnf	UNSAT	720.002	720.227	1517701
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1249441590-066.cnf	UNSAT	748.996	749.196	1517737
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1698591437-083.cnf	UNSAT	749.034	749.238	1515037
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S367498571-066.cnf	UNSAT	787.73	787.968	1515025
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1892788676-021.cnf	UNSAT	798.286	798.598	1517653
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1050568800-025.cnf	UNSAT	806.29	806.601	1515073
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1357790788-074.cnf	UNSAT	808.478	809.052	1515121
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1420449214-092.cnf	UNSAT	813.96	814.277	1515085
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S528193823-041.cnf	UNSAT	830.227	830.457	1515745
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1221988902-087.cnf	UNSAT	830.255	830.527	1515061
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S35186747-095.cnf	UNSAT	835.562	835.806	1515049
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S703461330-034.cnf	UNSAT	876.563	876.868	1515793
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S915600698-006.cnf	UNSAT	881.351	881.602	1517641
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S197260469-019.cnf	UNSAT	884.404	884.668	1515841
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1772751287-054.cnf	UNSAT	886.037	886.391	1515817
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1211704640-033.cnf	UNSAT	889.601	889.958	1515097
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1524836866-036.cnf	UNSAT	891.331	891.667	1517629
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1318210982-002.cnf	UNSAT	892.333	892.599	1515829
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2099753268-053.cnf	UNSAT	894.141	894.436	1515781
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1559668863-058.cnf	UNSAT	895.531	895.857	1515733
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1703611043-077.cnf	UNSAT	907.641	907.9	1515757
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S108799362-035.cnf	UNSAT	924.703	925.082	1515769
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2065372010-022.cnf	UNSAT	928.754	929.066	1515805
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S207294319-099.cnf	UNSAT	971.366	971.615	1515109
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1175850950-017.cnf	UNSAT	998.227	998.536	1517545
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1629955917-055.cnf	UNSAT	1038.91	1039.19	1515013
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S285229208-001.cnf	UNSAT	1083.01	1083.34	1517605
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1826325374-100.cnf	UNSAT	1111.14	1111.56	1516717
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1339364096-048.cnf	UNSAT	1178.65	1179.11	1516705
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1213077873-067.cnf	UNSAT	1193.18	1193.64	1516741

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.025995	0.0263571	1519261
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.025996	0.0269141	1519117
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.032994	0.033348	1518721
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.069989	0.0696411	1518457
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.074987	0.075614	1518349
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.076987	0.0773569	1518337
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.079986	0.079985	1518985
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.097984	0.0983769	1518997
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.154976	0.155611	1519129
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.174972	0.175307	1519069
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.270958	0.271421	1518313
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.279956	0.280946	1518709
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.396938	0.397695	1515409
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	0.445932	0.446787	1519249
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.463928	0.464195	1518601
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.480926	0.481174	1519105
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	0.483925	0.483902	1519045
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.489924	0.488946	1519213
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.557914	0.559268	1519225
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.836871	0.838049	1519237
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	1.12883	1.12897	1519141
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	1.3008	1.30178	1518253
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	1.69574	1.69961	1519093
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	1.83572	1.83598	1519321
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	2.06669	2.06762	1519153
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	2.07568	2.07699	1518205
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	2.41063	2.41081	1518517
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	2.55061	2.55159	1515433
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	2.69759	2.69953	1519309
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	3.20551	3.20849	1519165
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	3.37649	3.37708	1519177
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	3.72343	3.72523	1518553
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	3.79742	3.79942	1518277
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	3.83242	3.83258	1518361
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	3.87641	3.90016	1515565
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	4.45432	4.45441	1518853
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	4.75928	4.76206	1518661
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	4.98624	4.98796	1518781
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	5.22821	5.23193	1515469
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	5.2792	5.28054	1515373
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	5.29319	5.29336	1518505
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	5.50916	5.51152	1518265
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	5.71113	5.71367	1518697
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	6.19506	6.19832	1515421
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	6.71198	6.71515	1518889
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	6.94294	6.94584	1518301
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	7.2169	7.21975	1518577
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	7.51286	7.51812	1518193
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	7.63184	7.63544	1518589
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	7.96379	7.97306	1518445
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	8.98363	8.98941	1518865
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	9.11461	9.11898	1518541
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	9.11461	9.1196	1515601
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	9.34758	9.34991	1519285
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	9.68453	9.68598	1519297
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	10.9373	10.9415	1519201
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	11.9852	11.9887	1519189
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	12.5931	12.5969	1519057
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	12.939	12.9437	1515505
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	13.226	13.2333	1516429
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	14.2108	14.22	1518649
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	14.4938	14.4976	1518181
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	15.6266	15.6313	1516213
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	15.9506	15.9566	1518925
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	15.9766	15.9933	1518289
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	17.2624	17.2699	1518397
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	17.3634	17.3692	1518493
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	19.821	19.8281	1515457
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	19.962	19.9603	1518673
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	20.1689	20.1745	1518637
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	20.6859	20.6917	1519273
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	22.1806	22.187	1519081
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	23.0495	23.0556	1518949
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	23.2565	23.2642	1518529
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	23.9314	23.9389	1518913
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	26.269	26.4117	1518613
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	26.455	26.4723	1518241
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	29.8515	29.8625	1515445
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	30.4294	30.4422	1515397
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	30.9813	30.9914	1515313
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	35.0307	35.0384	1518973
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	37.4493	37.4644	1515385
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	39.0631	39.0779	1518877
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	44.2943	44.3096	1515589
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	45.0072	45.0195	1515481
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	48.4226	48.4416	1515517
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	48.9736	48.9886	1518961
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	51.3002	51.3135	1519009
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	55.1206	55.1395	1518325
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	57.5253	57.5416	1518769
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	62.7925	62.8196	1515577
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	71.7401	71.7602	1515529
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	72.071	72.1002	1518625
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	72.7679	72.786	1518433
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	79.9518	79.981	1518745
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	82.5485	82.5792	1518025
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	84.0432	84.0797	1518565
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	88.1076	88.1321	1519033
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	106.655	106.695	1518817
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	111.127	111.163	1515553
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	113.944	113.979	1515697
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	138.079	138.119	1518937
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	140.36	140.408	1518073
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	172.216	172.277	1518061
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	180.131	180.188	1518049
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	204.34	204.397	1515361
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	223.385	223.442	1516225
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	225.106	225.163	1518085
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	225.211	225.268	1518145
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	230.163	230.237	1515541
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	231.856	231.936	1518685
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	243.359	243.448	1516237
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	257.49	257.622	1518097
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	302.418	302.528	1518409
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	302.959	303.082	1518121
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	317.402	317.502	1516261
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	342.047	342.178	1518109
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	343.321	343.435	1516285
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	354.383	354.478	1516501
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	366.166	366.304	1518157
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	375.563	375.706	1519021
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	376.447	376.555	1516249
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	385.799	385.912	1515493
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	407.697	407.857	1518133
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	413.823	413.931	1515709
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	422.083	422.192	1516273
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	430.984	431.365	1518217
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	477.457	477.588	1518901
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	503.444	503.64	1518841
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	517.813	517.945	1516309
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	543.973	546.752	1518013
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	621.216	621.377	1516537
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	667.181	667.382	1515301
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	678.007	678.205	1515253
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	726.643	726.874	1518385
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	727.839	728.051	1516297
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	786.239	786.521	1515673
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	796.188	796.381	1516321
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	833.386	833.63	1518169
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	866.043	866.289	1515289
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	903.552	903.875	1516393
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	904.047	904.402	1515325
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	919.788	920.13	1518757
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT	924.611	924.895	1518373
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	1057.31	1057.61	1515649
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	1064.52	1064.97	1516477
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	1163.55	1169.43	1518793

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1818347447-078.cnf	? (TO)	1200.01	1200.41	1515997
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	? (TO)	1200.01	1200.31	1516549
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S2142794689-088.cnf	? (TO)	1200.01	1200.41	1515985
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1331813943-033.cnf	? (TO)	1200.02	1200.32	1516885
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S266028630-005.cnf	? (TO)	1200.02	1200.32	1513237
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S318878687-017.cnf	? (TO)	1200.02	1200.32	1513153
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	? (TO)	1200.02	1200.41	1514521
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf	? (TO)	1200.02	1200.31	1514233
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S2034442711-054.cnf	? (TO)	1200.02	1200.42	1517593
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S2051339669-029.cnf	? (TO)	1200.02	1200.32	1513177
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	? (TO)	1200.02	1200.41	1514353
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	? (TO)	1200.02	1200.41	1514197
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2058039218-006.cnf	? (TO)	1200.02	1200.31	1516189
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	? (TO)	1200.02	1200.42	1513693
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1525918493-008.cnf	? (TO)	1200.02	1200.41	1516117
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	? (TO)	1200.02	1200.51	1514761
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	? (TO)	1200.02	1200.41	1513933
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf	? (TO)	1200.02	1200.41	1514689
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf	? (TO)	1200.02	1200.41	1514569
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S648763183-023.cnf	? (TO)	1200.02	1200.31	1514185
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	? (TO)	1200.03	1200.42	1518829
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1250067652-054.cnf	? (TO)	1200.03	1200.42	1517449
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	? (TO)	1200.03	1200.32	1512529
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf	? (TO)	1200.03	1200.41	1514533
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2083487609-068.cnf	? (TO)	1200.03	1200.42	1514881
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S914952752-019.cnf	? (TO)	1200.03	1200.42	1514821
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1736056721-032.cnf	? (TO)	1200.03	1200.32	1514785
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	? (TO)	1200.03	1200.42	1513633
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	? (TO)	1200.03	1200.32	1513741
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1249224492-031.cnf	? (TO)	1200.03	1200.42	1513357
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S375588147-050.cnf	? (TO)	1200.03	1200.32	1513189
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	? (TO)	1200.03	1200.32	1513585
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	? (TO)	1200.03	1200.42	1512829
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1738391204-028.cnf	? (TO)	1200.03	1200.32	1512949
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S287307030-088.cnf	? (TO)	1200.03	1200.42	1516693
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	? (TO)	1200.03	1200.32	1512925
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S149116968-021.cnf	? (TO)	1200.03	1200.42	1516837
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	? (TO)	1200.03	1200.32	1515613
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1171422074-087.cnf	? (TO)	1200.03	1200.41	1516069
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S159251645-087.cnf	? (TO)	1200.03	1200.42	1516921
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S374947955-075.cnf	? (TO)	1200.04	1200.42	1517077
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2088224617-083.cnf	? (TO)	1200.04	1200.42	1512517
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	? (TO)	1200.04	1200.31	1516405
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1077410718-040.cnf	? (TO)	1200.04	1206.12	1517509
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S184801254-020.cnf	? (TO)	1200.04	1200.41	1515853
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S2054922493-058.cnf	? (TO)	1200.04	1200.82	1512757
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1610649331-094.cnf	? (TO)	1200.04	1200.51	1516057
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1735544520-075.cnf	? (TO)	1200.04	1200.42	1516801
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf	? (TO)	1200.04	1200.13	1512721
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	? (TO)	1200.04	1200.41	1514341
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	? (TO)	1200.04	1200.62	1512493
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S2083778933-085.cnf	? (TO)	1200.04	1200.42	1515193
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	? (TO)	1200.04	1200.62	1512649
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1736708510-089.cnf	? (TO)	1200.05	1200.62	1516201
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1695726805-003.cnf	? (TO)	1200.05	1200.52	1513297
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1086008090-058.cnf	? (TO)	1200.05	1200.72	1515241
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S28271012-055.cnf	? (TO)	1200.05	1200.62	1517053
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	? (TO)	1200.05	1200.62	1512661
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1540921235-015.cnf	? (TO)	1200.05	1200.42	1516897
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	? (TO)	1200.05	1200.51	1516681
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S948914005-013.cnf	? (TO)	1200.05	1200.32	1513225
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	? (TO)	1200.05	1200.42	1512985
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	? (TO)	1200.05	1200.42	1512913
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	? (TO)	1200.05	1200.51	1513837
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	? (TO)	1200.05	1200.51	1516453
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	? (TO)	1200.05	1200.51	1516417
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	? (TO)	1200.05	1200.42	1513765
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	? (TO)	1200.05	1200.51	1516489
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	? (TO)	1200.05	1199.91	1513861
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	? (TO)	1200.05	1200.51	1513981
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	? (TO)	1200.05	1200.42	1513789
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1070443005-075.cnf	? (TO)	1200.06	1200.52	1515205
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	? (TO)	1200.06	1200.42	1512625
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	? (TO)	1200.06	1200.51	1515925
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf	? (TO)	1200.06	1200.71	1514173
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1961115887-052.cnf	? (TO)	1200.06	1200.42	1513093
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	? (TO)	1200.06	1200.42	1513609
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2125310989-062.cnf	? (TO)	1200.06	1200.51	1515913
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	? (TO)	1200.06	1200.42	1513045
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1718100253-004.cnf	? (TO)	1200.06	1200.51	1516165
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1568578307-064.cnf	? (TO)	1200.06	1200.52	1513141
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	? (TO)	1200.06	1200.42	1513069
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1588298513-036.cnf	? (TO)	1200.06	1200.42	1513249
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1992353905-004.cnf	? (TO)	1200.06	1199.92	1513333
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	? (TO)	1200.06	1200.51	1516369
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1796956909-029.cnf	? (TO)	1200.06	1200.51	1516021
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1971658345-089.cnf	? (TO)	1200.06	1200.62	1514797
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1606932551-072.cnf	? (TO)	1200.06	1200.52	1517437
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf	? (TO)	1200.06	1200.41	1513873
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	? (TO)	1200.06	1200.41	1514653
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	? (TO)	1200.06	1200.41	1514065
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	? (TO)	1200.06	1200.51	1514113
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	? (TO)	1200.06	1200.41	1514269
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	? (TO)	1200.06	1200.51	1516129
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	? (TO)	1200.06	1200.41	1514581
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	? (TO)	1200.06	1200.52	1513729
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	? (TO)	1200.06	1200.41	1514317
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	? (TO)	1200.06	1200.41	1514389
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1322153318-039.cnf	? (TO)	1200.06	1200.42	1512553
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1154116462-097.cnf	? (TO)	1200.06	1200.42	1517125
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S975048338-088.cnf	? (TO)	1200.06	1200.42	1517137
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S592525179-032.cnf	? (TO)	1200.07	1206.42	1513465
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	? (TO)	1200.07	1200.42	1515349
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S289069074-070.cnf	? (TO)	1200.07	1200.41	1515865
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	? (TO)	1200.07	1200.51	1514305
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1266438269-016.cnf	? (TO)	1200.07	1200.41	1516081
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S857870897-089.cnf	? (TO)	1200.07	1200.41	1516009
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1723900160-044.cnf	? (TO)	1200.07	1200.52	1515229
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	? (TO)	1200.07	1200.42	1513597
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S697681291-080.cnf	? (TO)	1200.07	1200.42	1516849
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S900957093-043.cnf	? (TO)	1200.07	1200.42	1516789
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S400162545-095.cnf	? (TO)	1200.07	1200.51	1516093
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	? (TO)	1200.07	1200.52	1513513
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S907861678-077.cnf	? (TO)	1200.07	1200.52	1513429
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S926047226-039.cnf	? (TO)	1200.07	1200.42	1517617
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2141146009-040.cnf	? (TO)	1200.07	1200.51	1515877
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S254828838-055.cnf	? (TO)	1200.07	1200.41	1515973
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	? (TO)	1200.07	1200.51	1514281
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	? (TO)	1200.07	1200.51	1514713
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	? (TO)	1200.07	1200.51	1513921
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	? (TO)	1200.07	1200.52	1513657
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1731702106-010.cnf	? (TO)	1200.07	1200.42	1516765
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S285713182-059.cnf	? (TO)	1200.07	1200.42	1513537
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S457856978-061.cnf	? (TO)	1200.07	1200.41	1517557
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	? (TO)	1200.07	1200.52	1516633
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf	? (TO)	1200.07	1200.41	1514257
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1758422766-080.cnf	? (TO)	1200.07	1200.41	1515937
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	? (TO)	1200.07	1200.52	1512745
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	? (TO)	1200.07	1200.53	1513009
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	? (TO)	1200.07	1200.52	1518229
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1803805764-016.cnf	? (TO)	1200.07	1200.52	1516753
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	? (TO)	1200.07	1200.42	1512937
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	? (TO)	1200.07	1200.51	1514437
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S522321670-058.cnf	? (TO)	1200.07	1200.52	1513213
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf	? (TO)	1200.07	1200.41	1514509
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S2140929154-062.cnf	? (TO)	1200.07	1200.52	1513261
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S267191961-079.cnf	? (TO)	1200.07	1200.42	1515169
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S578339356-013.cnf	? (TO)	1200.07	1200.42	1515145
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	? (TO)	1200.07	1200.41	1516465
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	? (TO)	1200.07	1199.92	1515625
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1352224201-070.cnf	? (TO)	1200.07	1200.52	1513369
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S905029262-097.cnf	? (TO)	1200.07	1200.51	1516141
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	? (TO)	1200.07	1200.41	1514617
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	? (TO)	1200.07	1200.41	1514041
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	? (TO)	1200.07	1200.52	1512505
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S632066493-060.cnf	? (TO)	1200.07	1200.52	1514845
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	? (TO)	1200.07	1200.52	1513033
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1750991629-037.cnf	? (TO)	1200.07	1200.52	1517161
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1802626390-033.cnf	? (TO)	1200.07	1200.52	1513393
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	? (TO)	1200.07	1200.52	1518805
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1900558626-069.cnf	? (TO)	1200.07	1200.51	1515949
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	? (TO)	1200.07	1200.52	1515661
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	? (TO)	1200.07	1200.51	1513969
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf	? (TO)	1200.07	1200.41	1514749
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	? (TO)	1200.07	1200.51	1513885
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	? (TO)	1200.07	1200.82	1512841
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	? (TO)	1200.07	1200.42	1512997
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	? (TO)	1200.07	1200.62	1513477
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S452919966-071.cnf	? (TO)	1200.07	1200.42	1513285
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S2037268960-098.cnf	? (TO)	1200.07	1200.42	1517425
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	? (TO)	1200.07	1200.41	1513813
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1394630553-009.cnf	? (TO)	1200.07	1200.42	1516153
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	? (TO)	1200.07	1200.42	1513489
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	? (TO)	1200.07	1200.51	1514125
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S45173584-020.cnf	? (TO)	1200.08	1200.42	1512577
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	? (TO)	1200.08	1200.41	1514377
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	? (TO)	1200.08	1200.42	1512877
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1551099861-042.cnf	? (TO)	1200.08	1200.51	1516045
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	? (TO)	1200.08	1200.42	1516669
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	? (TO)	1200.08	1200.52	1515637
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1549575664-035.cnf	? (TO)	1200.08	1200.52	1513105
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	? (TO)	1200.08	1200.41	1516561
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	? (TO)	1200.08	1200.41	1514461
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	? (TO)	1200.08	1200.52	1516357
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	? (TO)	1200.08	1200.41	1516513
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	? (TO)	1200.08	1200.42	1513645
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	? (TO)	1200.08	1200.42	1513621
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf	? (TO)	1200.08	1200.51	1514641
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1251522734-073.cnf	? (TO)	1200.08	1200.42	1514869
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S2061874746-039.cnf	? (TO)	1200.08	1200.42	1517101
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S56507352-034.cnf	? (TO)	1200.08	1200.41	1514677
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	? (TO)	1200.08	1200.42	1513549
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf	? (TO)	1200.08	1200.51	1514425
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf	? (TO)	1200.08	1200.52	1512589
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	? (TO)	1200.08	1200.42	1513801
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	? (TO)	1200.08	1200.51	1516033
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S942507261-096.cnf	? (TO)	1200.08	1200.42	1513309
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	? (TO)	1200.08	1200.42	1518481
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	? (TO)	1200.08	1200.51	1513945
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	? (TO)	1200.08	1200.41	1514089
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S179568577-034.cnf	? (TO)	1200.08	1200.42	1517089
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1295462378-089.cnf	? (TO)	1200.08	1200.42	1513417
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S102181364-052.cnf	? (TO)	1200.08	1200.52	1514857
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S638051453-097.cnf	? (TO)	1200.08	1200.42	1517473
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1404929091-050.cnf	? (TO)	1200.08	1200.52	1517413
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	? (TO)	1200.08	1200.41	1514605
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	? (TO)	1200.08	1200.42	1512973
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S358640743-023.cnf	? (TO)	1200.08	1200.51	1515901
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	? (TO)	1200.08	1200.52	1512961
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S918173205-035.cnf	? (TO)	1200.09	1200.52	1515157
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf	? (TO)	1200.09	1200.42	1513405
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S956556686-037.cnf	? (TO)	1200.09	1200.42	1513441
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf	? (TO)	1200.09	1200.52	1513501
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	? (TO)	1200.09	1200.41	1514101
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf	? (TO)	1200.09	1200.51	1514209
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	? (TO)	1200.09	1200.51	1514161
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	? (TO)	1200.09	1207.02	1518037
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1441840675-053.cnf	? (TO)	1200.09	1200.52	1512817
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1388268034-092.cnf	? (TO)	1200.09	1200.52	1512781
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	? (TO)	1200.09	1200.42	1512889
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	? (TO)	1200.09	1200.52	1512805
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	? (TO)	1200.09	1200.43	1513021
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf	? (TO)	1200.09	1200.42	1513345
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	? (TO)	1200.09	1200.41	1513825
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	? (TO)	1200.09	1200.41	1514005
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf	? (TO)	1200.09	1200.41	1514017
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	? (TO)	1200.09	1200.51	1514029
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	? (TO)	1200.09	1200.41	1513957
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	? (TO)	1200.09	1200.41	1514053
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	? (TO)	1200.09	1200.51	1513897
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	? (TO)	1200.09	1200.51	1514077
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	? (TO)	1200.09	1200.41	1514449
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf	? (TO)	1200.09	1200.51	1514593
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	? (TO)	1200.09	1200.41	1514329
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	? (TO)	1200.09	1200.51	1514497
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf	? (TO)	1200.09	1200.41	1514557
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S219795104-099.cnf	? (TO)	1200.09	1200.41	1514737
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S257485978-084.cnf	? (TO)	1200.09	1200.52	1514833
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	? (TO)	1200.09	1200.52	1515277
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S884764237-004.cnf	? (TO)	1200.09	1200.51	1515889
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	? (TO)	1200.09	1200.42	1515721
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	? (TO)	1200.09	1200.51	1515961
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	? (TO)	1200.09	1200.41	1516381
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	? (TO)	1200.09	1200.51	1516645
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	? (TO)	1200.09	1200.42	1516573
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	? (TO)	1200.09	1200.51	1516597
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	? (TO)	1200.09	1200.41	1516525
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1048138627-064.cnf	? (TO)	1200.09	1200.42	1516861
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S820736259-091.cnf	? (TO)	1200.09	1200.52	1517113
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1602291491-023.cnf	? (TO)	1200.09	1200.42	1516825
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1598052044-078.cnf	? (TO)	1200.09	1200.42	1517461
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1564075794-028.cnf	? (TO)	1200.09	1200.42	1517497
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	? (TO)	1200.09	1200.42	1518733
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	? (TO)	1200.1	1200.41	1514365
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf	? (TO)	1200.1	1200.41	1514293
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf	? (TO)	1200.1	1200.41	1514545
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	? (TO)	1200.1	1200.41	1514401
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	? (TO)	1200.1	1200.61	1513909
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S853819067-006.cnf	? (TO)	1200.1	1200.42	1517485
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	? (TO)	1200.1	1200.52	1513717
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	? (TO)	1200.1	1200.52	1516105
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1299934729-015.cnf	? (TO)	1200.1	1200.52	1516177
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	? (TO)	1200.1	1200.52	1513681
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	? (TO)	1200.1	1200.51	1513849
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	? (TO)	1200.1	1200.41	1516609
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	? (TO)	1200.1	1200.42	1513753
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	? (TO)	1200.1	1200.41	1513993
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	? (TO)	1200.1	1200.41	1514149
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	? (TO)	1200.1	1200.41	1516345
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	? (TO)	1200.1	1200.42	1516657
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	? (TO)	1200.1	1200.42	1513573
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	? (TO)	1200.1	1200.51	1516441
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S886725553-011.cnf	? (TO)	1200.1	1200.42	1513117
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1127319144-058.cnf	? (TO)	1200.1	1200.42	1513201
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S799705985-049.cnf	? (TO)	1200.1	1200.82	1516777
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	? (TO)	1200.1	1200.42	1512901
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf	? (TO)	1200.1	1200.41	1514221
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	? (TO)	1200.1	1200.42	1512793
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	? (TO)	1200.1	1200.52	1518469
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	? (TO)	1200.1	1200.52	1512685
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	? (TO)	1200.1	1200.52	1512565
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	? (TO)	1200.1	1200.42	1516621
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	? (TO)	1200.1	1200.42	1512697
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S517464300-073.cnf	? (TO)	1200.1	1200.42	1517065
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1897376969-026.cnf	? (TO)	1200.1	1200.42	1516813
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	? (TO)	1200.1	1200.52	1512613
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	? (TO)	1200.1	1200.82	1512769
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S441484366-048.cnf	? (TO)	1200.1	1200.42	1513321
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S327274323-044.cnf	? (TO)	1200.1	1200.42	1513561
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	? (TO)	1200.1	1200.42	1515685
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S80067159-015.cnf	? (TO)	1200.1	1200.42	1515181
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2119656249-086.cnf	? (TO)	1200.1	1200.52	1514773
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	? (TO)	1200.1	1200.51	1514701
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S826724848-048.cnf	? (TO)	1200.1	1200.41	1514665
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	? (TO)	1200.1	1200.41	1514725
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf	? (TO)	1200.1	1200.41	1514485
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	? (TO)	1200.1	1200.41	1514413
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S486178562-011.cnf	? (TO)	1200.11	1200.52	1516909
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	? (TO)	1200.11	1200.42	1513705
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	? (TO)	1200.11	1200.82	1513777
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	? (TO)	1200.11	1200.42	1518421
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S193214747-044.cnf	? (TO)	1200.11	1200.42	1513165
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	? (TO)	1200.11	1200.42	1513525
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	? (TO)	1200.11	1200.52	1512601
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf	? (TO)	1200.11	1200.42	1512853
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf	? (TO)	1200.11	1200.42	1512673
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	? (TO)	1200.11	1200.42	1513081
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S515665970-021.cnf	? (TO)	1200.11	1200.52	1515133
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1457384322-029.cnf	? (TO)	1200.11	1200.42	1517521
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	? (TO)	1200.11	1200.72	1515337
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S645163129-012.cnf	? (TO)	1200.11	1200.52	1516729
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	? (TO)	1200.11	1200.52	1513669
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S420719158-080.cnf	? (TO)	1200.11	1200.41	1514629
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1089910525-056.cnf	? (TO)	1200.11	1200.42	1516873
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf	? (TO)	1200.11	1200.51	1514245
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	? (TO)	1200.11	1200.52	1512865
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	? (TO)	1200.11	1200.42	1513453
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	? (TO)	1200.11	1200.41	1516333
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1481598919-023.cnf	? (TO)	1200.11	1200.42	1515217
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1378953985-075.cnf	? (TO)	1200.11	1200.42	1513381
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1766907733-036.cnf	? (TO)	1200.11	1200.42	1513129
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1136894336-075.cnf	? (TO)	1200.11	1200.42	1513273
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	? (TO)	1200.11	1200.51	1514137
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	? (TO)	1200.12	1200.61	1514473
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S688769362-007.cnf	? (TO)	1200.12	1200.52	1517149
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	? (TO)	1200.12	1200.51	1516585
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	? (TO)	1200.12	1200.52	1512733
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	? (TO)	1200.12	1200.53	1513057
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	? (TO)	1200.12	1200.42	1512637
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S745855171-090.cnf	? (TO)	1200.12	1200.52	1514809
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S704699380-099.cnf	? (TO)	1200.13	1200.52	1512541
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	? (TO)	1200.13	1200.52	1515265
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	? (TO)	1200.13	1200.42	1512709

SAT 2009 Competition: main competition (phase 1): benchmarks results per solver

Result page for solver march_hi hi (complete)

Category "applications instances" (APPLICATION)

Solver proved unsatisfiability (UNSATISFIABLE) (12 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (9 runs) [Show/Hide]

Solver timed out (no solution given) (247 runs) [Show/Hide]

Solver exceeded the memory limit (no solution given) (23 runs) [Show/Hide]

Solver was terminated by a signal (1 run) [Show/Hide]

Category "crafted instances" (CRAFTED)

Solver proved unsatisfiability (UNSATISFIABLE) (18 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (45 runs) [Show/Hide]

Solver timed out (no solution given) (214 runs) [Show/Hide]

Solver exceeded the memory limit (no solution given) (3 runs) [Show/Hide]

Solver was terminated by a signal (1 run) [Show/Hide]

Category "random instances" (RANDOM)

Solver proved unsatisfiability (UNSATISFIABLE) (100 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (147 runs) [Show/Hide]

Solver timed out (no solution given) (323 runs) [Show/Hide]