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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.832872	0.833368	1718830

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/grieu/ vmpc_25.cnf	SAT	3.98639	3.98827	1718362
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	12.884	12.8884	1722120
industrial/grieu/ vmpc_24.cnf	SAT	37.5973	37.6116	1718518
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	56.4714	56.4999	1721320
industrial/grieu/ vmpc_26.cnf	SAT	1046.06	1046.36	1718726

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	?	0	0.00590894	1563420
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	?	0	0.00500593	1719246
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	?	0	0.00535611	1719402
velev-pipe-sat-1.0-b7.cnf	?	0	0.00496398	1723170
velev-pipe-sat-1.0-b10.cnf	?	0	0.00496008	1723326
industrial/narain/ clauses-8.cnf	?	0.000999	0.0049729	1718778
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	?	0.000999	0.00535608	1719194
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	?	0.000999	0.00522506	1718934
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	?	0.001999	0.00500999	1719350

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.01	1200.31	1716906
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.01	1200.51	1721770
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.01	1200.41	1717010
APPLICATIONS/bitverif/ minor/minor064.cnf	? (TO)	1200.02	1200.51	1553176
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.02	1200.41	1723378
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.02	1200.41	1559260
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1200.02	1200.31	1557804
APPLICATIONS/aprove09/ AProVE09-22.cnf	? (TO)	1200.02	1200.41	1560456
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.02	1200.41	1558792
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.02	1200.31	1721270
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.02	1200.41	1722770
velev-live-uns-2.0-ebuf.cnf	? (TO)	1200.02	1200.41	1723690
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.02	1200.41	1721820
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (TO)	1200.03	1200.41	1554840
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.03	1200.41	1559780
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.03	1200.51	1558844
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.03	1200.42	1716438
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.03	1200.52	1716490
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (TO)	1200.03	1200.42	1578212
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.03	1200.42	1553384
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.03	1200.51	1562848
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.03	1200.31	1718570
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (TO)	1200.04	1200.41	1560092
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.04	1206.03	1553852
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.04	1200.31	1554736
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (TO)	1200.04	1200.61	1555620
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (TO)	1200.04	1200.41	1559728
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.04	1200.42	1581748
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.04	1207.14	1582424
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (TO)	1200.04	1200.41	1557076
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.04	1200.41	1556712
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.05	1200.41	1721870
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.05	1200.73	1580344
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.05	1200.42	1720338
goldb-heqc-dalumul.cnf	? (TO)	1200.05	1200.51	1720442
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.05	1200.53	1581592
cmu-bmc-longmult15.cnf	? (TO)	1200.05	1200.41	1720650
een-tip-sat-texas-tp-5e.cnf	? (TO)	1200.05	1200.41	1720910
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.05	1200.51	1721170
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.05	1200.41	1721220
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (TO)	1200.05	1200.51	1553800
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (TO)	1200.05	1200.41	1556868
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.05	1200.41	1559364
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.05	1200.41	1557024
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.05	1200.44	1580032
industrial/babic/hsatv17/ hsat_vc11803.cnf	? (TO)	1200.05	1200.62	1717998
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.05	1200.52	1582008
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.05	1200.51	1556088
manol-pipe-f9n.cnf	? (TO)	1200.05	1200.42	1723950
manol-pipe-g6bi.cnf	? (TO)	1200.05	1200.41	1723742
APPLICATIONS/bitverif/ minor/minor032.cnf	? (TO)	1200.05	1200.51	1553228
manol-pipe-g10id.cnf	? (TO)	1200.05	1200.42	1723534
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (TO)	1200.05	1200.72	1579408
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.05	1200.41	1718050
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (TO)	1200.05	1200.41	1718154
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.05	1200.51	1718622
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.05	1200.41	1723020
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.05	1200.51	1722970
APPLICATIONS/aprove09/ AProVE09-13.cnf	? (TO)	1200.05	1200.41	1560300
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (TO)	1200.05	1206.01	1560352
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.05	1200.41	1722820
velev-engi-uns-1.0-4nd.cnf	? (TO)	1200.05	1200.41	1720130
goldb-heqc-term1mul.cnf	? (TO)	1200.06	1200.41	1723638
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.06	1200.52	1554008
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.06	1200.53	1555152
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.06	1200.41	1722270
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.06	1200.51	1717842
aloul-chnl11-13.cnf	? (TO)	1200.06	1200.41	1720390
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (TO)	1200.06	1200.51	1559936
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.06	1200.52	1563368
manol-pipe-g10bidw.cnf	? (TO)	1200.06	1200.42	1723274
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.06	1200.43	1715606
schup-l2s-motst-2-k315.cnf	? (TO)	1200.06	1200.45	1720026
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.06	1200.41	1718414
goldb-heqc-x1mul.cnf	? (TO)	1200.06	1200.41	1719454
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.06	1200.51	1562796
manol-pipe-c6bidw_i.cnf	? (TO)	1200.06	1200.41	1720286
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.06	1200.63	1716386
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.06	1200.41	1716854
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.06	1200.72	1579980
APPLICATIONS/ bitverif/minand/minand128.cnf	? (TO)	1200.06	1200.41	1554216
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.06	1200.41	1717062
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.06	1200.61	1563212
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.06	1200.51	1718674
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.06	1200.41	1722170
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.06	1200.41	1559000
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.06	1200.43	1716126
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1200.06	1200.41	1558428
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (TO)	1200.06	1200.32	1579876
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (TO)	1200.06	1200.42	1579460
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.06	1207.02	1554892
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.07	1200.41	1718882
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.07	1200.52	1555880
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.07	1200.51	1553280
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.07	1200.63	1582164
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.07	1200.41	1554424
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.07	1207.01	1554164
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1200.07	1199.91	1563056
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.07	1200.42	1716178
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.07	1200.43	1716074
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.07	1200.41	1718102
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (TO)	1200.07	1200.41	1562952
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1200.07	1200.41	1717478
simon-s03-w08-15.cnf	? (TO)	1200.07	1200.52	1719766
hoons-vbmc-lucky7.cnf	? (TO)	1200.07	1200.51	1719870
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.07	1207.03	1581332
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (TO)	1200.07	1200.51	1560716
mizh-sha0-36-4.cnf	? (TO)	1200.07	1200.41	1720234
mizh-md5-47-4.cnf	? (TO)	1200.07	1200.41	1720546
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.07	1200.41	1722570
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.07	1200.44	1579356
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.07	1200.41	1558064
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.07	1200.41	1563108
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.07	1200.51	1557700
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (TO)	1200.07	1200.41	1556764
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.07	1200.51	1556556
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.07	1200.41	1556348
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.07	1200.41	1556140
goldb-heqc-frg1mul.cnf	? (TO)	1200.08	1200.41	1719662
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.08	1200.42	1719090
mizh-sha0-35-3.cnf	? (TO)	1200.08	1200.51	1720702
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.08	1200.43	1578940
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.08	1200.43	1580240
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.08	1200.51	1556036
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.08	1200.41	1718466
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (TO)	1200.08	1200.41	1560040
goldb-heqc-i10mul.cnf	? (TO)	1200.08	1200.51	1723430
cmu-bmc-barrel6.cnf	? (TO)	1200.08	1200.41	1719558
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.08	1200.54	1717738
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.08	1200.41	1559624
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (TO)	1200.08	1200.42	1717530
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.08	1200.55	1717270
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.08	1200.41	1559312
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.08	1200.51	1717218
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.08	1200.41	1563004
manol-pipe-c6nidw_i.cnf	? (TO)	1200.08	1200.51	1724470
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.08	1200.42	1715918
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.08	1200.42	1715658
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.08	1200.63	1581904
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.08	1200.41	1556504
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.08	1200.43	1715814
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.08	1200.51	1558220
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.08	1200.41	1556452
manol-pipe-c9.cnf	? (TO)	1200.08	1200.41	1724366
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.08	1200.41	1562744
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.08	1200.63	1580864
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (TO)	1200.08	1200.71	1556816
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.08	1200.41	1559520
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.08	1200.74	1563316
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (TO)	1200.08	1200.41	1721720
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (TO)	1200.08	1200.41	1560924
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (TO)	1200.08	1200.51	1560612
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (TO)	1200.08	1200.74	1563628
mizh-sha0-36-3.cnf	? (TO)	1200.08	1200.51	1719818
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.08	1200.53	1581072
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.08	1200.43	1577900
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	? (TO)	1200.08	1200.81	1554112
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.09	1200.72	1716334
mizh-md5-47-3.cnf	? (TO)	1200.09	1200.51	1719506
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.09	1200.52	1722470
schup-l2s-guid-1-k56.cnf	? (TO)	1200.09	1200.61	1724106
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.09	1200.41	1724210
manol-pipe-c7bidw_i.cnf	? (TO)	1200.09	1200.52	1724262
simon-s03-fifo8-300.cnf	? (TO)	1200.09	1200.52	1724158
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.09	1200.73	1716230
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.09	1200.52	1716698
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.09	1200.51	1717114
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (TO)	1200.09	1200.42	1717426
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.09	1200.42	1717634
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (TO)	1200.09	1200.41	1718258
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.09	1200.51	1718310
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.09	1200.42	1719298
manol-pipe-g10nid.cnf	? (TO)	1200.09	1200.42	1720182
manol-pipe-c10nid_i.cnf	? (TO)	1200.09	1200.72	1720754
mizh-md5-48-5.cnf	? (TO)	1200.09	1200.41	1721118
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.09	1200.41	1721420
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.09	1200.41	1721970
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.09	1200.41	1722870
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.09	1200.41	1558012
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.09	1200.41	1557960
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	? (TO)	1200.09	1200.41	1555048
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	? (TO)	1200.09	1200.52	1581956
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.09	1200.41	1553488
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (TO)	1200.09	1200.41	1553332
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.09	1200.76	1563732
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.09	1200.41	1563576
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (TO)	1200.09	1200.43	1563472
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.09	1200.44	1563264
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.09	1200.51	1560560
manol-pipe-g7nidw.cnf	? (TO)	1200.09	1200.41	1724314
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (TO)	1200.09	1200.41	1557596
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (TO)	1200.09	1200.51	1558480
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (TO)	1200.09	1200.41	1559208
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (TO)	1200.09	1200.41	1562692
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (TO)	1200.09	1200.41	1562640
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.09	1200.41	1563160
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1200.09	1200.63	1577640
manol-pipe-c7nidw.cnf	? (TO)	1200.1	1200.42	1723482
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.1	1200.41	1723586
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.1	1200.52	1563680
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (TO)	1200.1	1200.42	1722020
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.1	1200.42	1716646
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.1	1200.41	1721670
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.1	1200.43	1716594
APPLICATIONS/aprove09/ AProVE09-11.cnf	? (TO)	1200.1	1200.41	1560872
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.1	1200.44	1718986
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (TO)	1200.1	1200.42	1717686
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (TO)	1200.1	1200.42	1717582
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.1	1200.42	1717322
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.1	1200.51	1716958
manol-pipe-f10ni.cnf	? (TO)	1200.1	1200.43	1724054
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.1	1200.43	1716542
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.1	1200.73	1716282
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1200.1	1200.73	1577484
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	? (TO)	1200.1	1200.42	1577692
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.1	1200.41	1722370
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.1	1200.51	1722520
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.1	1200.53	1581488
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.1	1200.42	1582736
schup-l2s-abp4-1-k31.cnf	? (TO)	1200.1	1200.41	1719610
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.1	1200.53	1554528
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (TO)	1200.1	1200.51	1562900
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.1	1200.51	1554684
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.1	1200.41	1555464
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.1	1200.62	1556244
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.1	1200.63	1580136
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.1	1200.73	1580084
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.1	1200.41	1555256
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	? (TO)	1200.11	1200.41	1554580
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.11	1200.73	1717374
industrial/babic/hsatv17/ hsat_vc11813.cnf	? (TO)	1200.11	1200.43	1717946
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.11	1200.41	1722620
manol-pipe-f9b.cnf	? (TO)	1200.11	1200.52	1719974
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.11	1200.65	1719038
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1200.11	1200.82	1580552
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.11	1200.41	1718206
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (TO)	1200.11	1200.43	1717894
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.11	1200.71	1559676
mizh-sha0-36-2.cnf	? (TO)	1200.11	1200.71	1724002
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.11	1200.73	1717166
goldb-heqc-alu4mul.cnf	? (TO)	1200.11	1200.41	1721014
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.11	1200.63	1577588
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.11	1200.51	1556608
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.11	1200.43	1716022
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.11	1200.52	1715710
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.11	1200.53	1579824
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.11	1200.72	1715970
manol-pipe-c10nidw_s.cnf	? (TO)	1200.11	1200.63	1723222
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.11	1200.51	1723120
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1200.11	1200.51	1723070
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.11	1200.63	1578784
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.11	1200.41	1722420
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.11	1200.51	1557492
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.11	1200.73	1580760
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.11	1200.53	1715866
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.11	1200.54	1716750
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.11	1200.52	1723898
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.11	1200.41	1721520
simon-s02b-dp11u10.cnf	? (TO)	1200.11	1200.51	1723846
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.11	1200.51	1721370
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.12	1200.43	1724418
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (TO)	1200.12	1200.54	1577796
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.12	1200.44	1717790
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.12	1200.43	1715762
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.13	1200.84	1577536
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.13	1200.56	1577744
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.13	1200.15	1719922
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.14	1200.44	1719142
manol-pipe-c10nidw.cnf	? (TO)	1200.14	1200.44	1720078
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.14	1200.64	1577848

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-03.cnf	Signal 11	0.040993	0.044347	1560664
APPLICATIONS/aprove09/ AProVE09-01.cnf	Signal 11	0.041993	0.0428251	1560404
APPLICATIONS/aprove09/ AProVE09-10.cnf	Signal 11	0.044992	0.045581	1560820
industrial/fuhs/medium/ AProVE07-09.cnf	Signal 11	0.044992	0.045493	1716802
APPLICATIONS/aprove09/ AProVE09-25.cnf	Signal 11	0.044992	0.0452611	1560144
velev-vliw-uns-4.0-9C1.cnf	Signal 11	0.879865	0.879974	1723794
velev-vliw-uns-4.0-9-i1.cnf	Signal 11	1.52077	1.52204	1719714

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.013997	0.014256	1734220
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.017996	0.0175841	1734370
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.018996	0.024351	1734120
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.029994	0.030222	1734170
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.033994	0.034757	1734470
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.036993	0.0378441	1734420
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.036993	0.0377899	1734320
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.039993	0.0404181	1734570
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.049992	0.0501429	1734270
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.051991	0.0521921	1736170
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.051991	0.0525851	1734620
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.069988	0.0702099	1734520
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.120981	0.119859	1736220
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	0.160974	0.161154	1738118
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	0.618905	0.619795	1738277
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.815875	0.816728	1736420
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	SAT	0.911861	0.913293	1732620
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	0.977851	0.977667	1738171
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	1.08183	1.0831	1733020
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	1.44278	1.44332	1735270
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	1.55876	1.55998	1732370
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	2.27365	2.27366	1737070
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	2.38564	2.38502	1735120
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	2.42063	2.42193	1734770
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	5.08823	5.08945	1732470
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	6.23805	6.24032	1735320
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	8.5407	8.54454	1735070
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	SAT	9.2216	9.22632	1735770
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	SAT	10.3864	10.3919	1735170
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	SAT	13.6919	13.6959	1736020
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	19.69	19.6962	1732320
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	SAT	19.732	19.7387	1738224
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	23.3714	23.3808	1738330
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	SAT	23.4134	23.4203	1735420
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	24.1693	24.1781	1735220
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	25.8231	25.8312	1561392
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	25.9531	25.9619	1725688
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	26.7189	26.7258	1732420
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	SAT	29.4665	29.475	1735870
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	32.773	32.7844	1562016
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	40.1399	40.1543	1738065
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	41.7696	41.8039	1561964
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	SAT	51.8471	51.8634	1738383
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	55.7705	55.8033	1561496
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	66.027	66.0508	1732670
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	85.777	86.2105	1561704
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	SAT	92.9669	92.9955	1735920
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	148.84	148.897	1562068
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	SAT	162.675	162.755	1735520
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	192.962	193.061	1561912
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	SAT	207.959	208.029	1732570
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	209.258	209.336	1734920
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	SAT	240.648	240.716	1737429
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	SAT	374.656	376.829	1561444
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	SAT	452.736	452.894	1562432
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	504.823	504.978	1561808
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	SAT	660.359	660.536	1736120
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	692.02	692.217	1734970
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	757.262	757.553	1561756
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	SAT	814.359	814.584	1561548
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	SAT	928.45	928.713	1732220
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	SAT	1080.38	1080.7	1562380

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1200.01	1206.01	1561028
CRAFTED/ramseycube/ Q32inK09.cnf	? (TO)	1200.01	1200.41	1733070
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.01	1200.41	1731870
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.01	1200.41	1730564
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.02	1200.31	1562276
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.02	1200.51	1729345
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	? (TO)	1200.02	1200.41	1736970
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1728073
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.02	1200.31	1733420
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1731306
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.02	1200.31	1736620
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1727967
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.02	1200.31	1732270
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1730935
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.02	1200.91	1726377
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1726271
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1726907
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.03	1200.41	1737588
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.03	1200.31	1732820
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.03	1200.51	1733370
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.03	1200.41	1561184
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	? (TO)	1200.03	1200.41	1733870
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.03	1200.41	1737270
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.03	1199.91	1730458
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1726112
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	? (TO)	1200.03	1200.51	1736520
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1726536
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.04	1200.53	1727331
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.04	1200.72	1727225
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1726589
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1726165
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	? (TO)	1200.04	1200.31	1562120
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	? (TO)	1200.04	1200.41	1736770
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1728550
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.04	1200.52	1727278
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	1200.04	1200.42	1562328
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1727119
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1729557
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	? (TO)	1200.04	1200.31	1732120
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1728974
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1725953
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	? (TO)	1200.04	1200.01	1725741
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.04	1200.31	1735470
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1731624
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1731094
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.05	1200.41	1737323
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1725317
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1725529
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.05	1200.41	1731970
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1725794
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	? (TO)	1200.05	1200.41	1736870
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.05	1200.41	1736070
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1727172
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.05	1200.51	1735020
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.05	1200.41	1562224
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1728179
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (TO)	1200.05	1200.41	1737800
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.05	1200.41	1734820
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.05	1200.41	1733820
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.05	1200.41	1734720
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.05	1200.42	1733770
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	1200.05	1200.62	1737906
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.05	1200.41	1561288
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.05	1200.41	1733920
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.05	1200.51	1561132
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1729451
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.05	1200.51	1737641
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.05	1200.41	1733520
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.05	1200.42	1733720
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1725264
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.05	1200.41	1737535
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.06	1200.41	1733670
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.06	1200.61	1737959
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.06	1200.42	1733170
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.06	1200.41	1734670
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1728762
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731359
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.06	1200.41	1732070
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731253
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (TO)	1200.06	1200.41	1737220
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.06	1200.41	1733570
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731677
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.06	1200.53	1733320
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730829
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.06	1200.32	1727384
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1727702
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1726748
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1726642
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.06	1199.92	1727437
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.06	1199.91	1727808
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.06	1200.41	1736270
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1729981
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1726695
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.06	1200.41	1734020
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1726324
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.06	1200.41	1732970
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1726483
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	? (TO)	1200.06	1200.51	1737020
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728815
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1728338
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1728285
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1730140
CRAFTED/ramseycube/ Q3inK10.cnf	? (TO)	1200.07	1200.41	1732870
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.07	1200.41	1733470
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1730087
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.07	1200.51	1736720
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1730776
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1729663
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1729769
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1730882
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1730511
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.07	1200.41	1737853
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.07	1200.56	1727490
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.07	1200.41	1735720
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.07	1200.51	1735970
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.07	1200.52	1561236
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1731412
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.07	1200.51	1734070
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.07	1200.81	1727066
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1729928
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1729610
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	? (TO)	1200.08	1200.41	1736370
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (TO)	1200.08	1200.41	1561652
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1726801
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1727861
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1727914
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728232
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728709
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1729080
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729133
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729027
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729239
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729186
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729292
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729716
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729875
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730193
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730617
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.08	1200.53	1730670
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730723
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1731518
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.08	1200.41	1731820
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1731571
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	? (TO)	1200.08	1200.51	1731920
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	? (TO)	1200.08	1200.51	1732020
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.08	1200.41	1732520
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	? (TO)	1200.08	1200.41	1733270
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.08	1200.41	1734870
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.08	1200.41	1737120
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.08	1200.51	1737376
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.08	1200.41	1737694
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728921
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1730988
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.09	1200.41	1733220
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730246
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1730405
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730299
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1730034
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.09	1200.41	1733620
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729398
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1728868
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.09	1200.41	1733970
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1728656
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (TO)	1200.09	1200.41	1562172
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728126
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.09	1200.51	1735370
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.09	1200.51	1735820
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.09	1200.51	1735670
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1727013
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.09	1201.01	1726430
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.09	1200.41	1562588
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	? (TO)	1200.09	1200.41	1736670
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	? (TO)	1200.09	1200.41	1736470
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	? (TO)	1200.09	1200.41	1736920
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726059
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1725900
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1725370
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (TO)	1200.09	1200.41	1560976
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.09	1200.41	1732170
CRAFTED/ramseycube/ Q3inK11.cnf	? (TO)	1200.09	1200.52	1733120
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1731465
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1725847
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1727649
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1725635
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1200.1	1200.52	1738012
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (TO)	1200.1	1200.51	1736320
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.1	1200.45	1727543
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1730352
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	? (TO)	1200.1	1200.41	1736570
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1729504
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.1	1200.41	1562536
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1726006
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	1200.1	1200.51	1561340
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1728497
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1727755
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728020
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.1	1200.43	1726960
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.1	1200.51	1735620
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1731147
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1731041
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1725476
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	1200.1	1200.51	1737482
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1731200
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.1	1200.41	1737747
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1726218
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1725423
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1726854
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.11	1200.41	1561080
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1728603
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.11	1200.41	1562484
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1728444
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	? (TO)	1200.11	1200.41	1736820
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.11	1200.81	1729822
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1725582
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.12	1200.64	1727596
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.12	1200.51	1735570
CRAFTED/ramseycube/ Q3inK12.cnf	? (TO)	1200.13	1200.73	1732920
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.15	1200.46	1728391
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.18	1200.68	1732770

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.007998	0.0091481	1523918
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.007998	0.0085631	1524047
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.007998	0.00800394	1524053
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	0.010997	0.0111939	1524026
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.011997	0.0126039	1524020
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	0.011997	0.013077	1524011
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	0.012997	0.0139459	1523903
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.012997	0.01188	1523813
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.013997	0.0139961	1523825
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.013997	0.0134149	1523888
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	0.013997	0.014014	1523873
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.014996	0.0151271	1523987
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.014996	0.0152171	1523789
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	0.014997	0.0153671	1523996
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.014997	0.014101	1523984
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	0.015996	0.0162391	1523840
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	0.015996	0.0165229	1523783
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.015996	0.0151469	1523915
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	0.016996	0.018009	1523876
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.016996	0.0162419	1524044
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	0.016996	0.017313	1523867
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	0.017996	0.0170939	1523849
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	0.017996	0.018056	1523807
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	0.018996	0.0185439	1524032
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	0.018996	0.0176141	1523786
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	0.018996	0.0189451	1524008
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	0.018996	0.0194379	1523960
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.018996	0.01817	1523801
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	0.018997	0.019678	1523819
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.019996	0.0202701	1523852
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	0.019996	0.018685	1523894
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	0.020996	0.0213801	1523846
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	0.021995	0.020463	1523900
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	0.021996	0.0232731	1523810
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.022995	0.023233	1523864
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	0.024995	0.024118	1523897
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	0.025995	0.0247069	1523834
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	0.026995	0.0278589	1523963
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	0.027995	0.0275161	1523942
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	0.027995	0.0278309	1523933
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	0.027995	0.0277569	1523795
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.031995	0.0329201	1523816
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	0.032994	0.031638	1523912
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	0.032994	0.033387	1523837
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	0.033993	0.03431	1523885
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	0.033994	0.0328379	1523804
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.035993	0.0348321	1524017
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	0.038993	0.039218	1523768
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	0.040992	0.0403831	1523972
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	0.040992	0.0403209	1523765
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	0.043992	0.0440741	1523954
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.048991	0.049012	1524029
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	0.048992	0.0501119	1524002
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	0.049991	0.050482	1524035
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	0.051991	0.0522489	1523879
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	0.051991	0.0525901	1523951
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	0.054991	0.0537711	1523906
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	0.05599	0.0562559	1523774
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.05699	0.0573311	1524005
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	0.057991	0.057902	1523891
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	0.060989	0.0612481	1524056
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.061989	0.062526	1524041
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.066989	0.0670719	1523093
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.069988	0.0707909	1523096
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	0.070988	0.0700651	1523111
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	0.070989	0.0715379	1523756
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	0.074988	0.074983	1523882
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	0.077987	0.078841	1523066
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.079987	0.080702	1523105
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.080986	0.0815509	1523087
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	0.081987	0.0829939	1523084
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.088985	0.0892631	1523138
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	0.089986	0.0909321	1523975
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	0.090985	0.0910701	1523969
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	0.091985	0.0927039	1523123
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.095985	0.096761	1523090
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	0.096984	0.0970209	1523966
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	0.097984	0.0985709	1523069
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	0.103983	0.103338	1523741
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	0.106982	0.107244	1523132
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.111982	0.110966	1523051
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.113981	0.114743	1524065
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	0.119981	0.118661	1523120
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.119981	0.120264	1523063
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	0.12298	0.123063	1523135
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.12698	0.127698	1523822
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	0.128979	0.129259	1523924
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	0.13098	0.132269	1523081
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	0.131979	0.132488	1524050
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	0.136978	0.137472	1523078
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.142978	0.143881	1524068
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	0.143977	0.143189	1524059
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT	0.144977	0.145086	1522673
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	0.145976	0.146761	1523759
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	0.145977	0.146598	1523861
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	0.147976	0.147439	1523936
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	0.149976	0.150286	1523999
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	0.167974	0.16891	1523792
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	0.168973	0.1695	1523948
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.169973	0.169231	1524014
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	0.173972	0.173429	1523072
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	0.180971	0.181475	1523102
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	0.19197	0.191974	1523753
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.204968	0.204994	1523117
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	0.204968	0.204448	1523744
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	0.215966	0.217048	1523780
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	0.244962	0.243909	1523168
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	0.248961	0.249461	1523165
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	0.248962	0.249446	1523159
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	0.279956	0.280853	1523762
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	0.287955	0.287182	1523798
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	0.304953	0.305917	1523981
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	0.360944	0.361279	1523771
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	0.411937	0.412497	1523945
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	0.419936	0.42061	1523843
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	0.446931	0.448022	1523750
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	0.475926	0.476933	1523156
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	0.505922	0.506579	1523129
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	0.507921	0.508892	1523060
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	0.51792	0.518161	1523114
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	0.51992	0.520213	1523054
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	0.558914	0.559513	1523927
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	0.567912	0.568412	1523939
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	0.57991	0.579776	1523990
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	0.641902	0.642776	1523930
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT	0.683895	0.684188	1522823
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	0.693893	0.693333	1523150
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	0.693893	0.693968	1523057
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.72089	0.722102	1523099
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	0.772881	0.773581	1523828
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	0.800878	0.801954	1523108
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT	0.825873	0.82628	1522682
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	0.869866	0.870458	1523993
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT	0.941856	0.942568	1522670
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	1.07184	1.0732	1523141
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT	1.13783	1.13912	1522667
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	1.22781	1.22965	1524023
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	1.23581	1.23609	1523153
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT	1.44378	1.44359	1522688
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	1.55176	1.55191	1523309
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	1.64175	1.64236	1523855
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	1.74973	1.75058	1523075
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	1.75273	1.75377	1523858
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	1.77673	1.7762	1523147
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT	1.88271	1.8837	1522661
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	1.9707	1.97188	1523978
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	2.10068	2.10183	1523870
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	2.26766	2.26772	1523909
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	2.29965	2.30097	1523339
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	2.32565	2.32552	1523300
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	2.33564	2.33599	1523162
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	2.35564	2.35665	1523390
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	2.35864	2.35954	1523291
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT	2.37064	2.37225	1522676
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	2.41163	2.41282	1523336
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	2.51462	2.52901	1523294
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	2.53361	2.53473	1524062
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT	2.66859	2.66946	1523921
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	2.80757	2.80763	1523354
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	3.00854	3.00959	1523312
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	3.01054	3.01171	1523333
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	3.2935	3.29506	1523315
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT	3.38848	3.38936	1522829
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	3.39148	3.39457	1523297
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	3.39748	3.39915	1523342
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	3.44148	3.44272	1523363
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	3.53946	3.54119	1523351
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT	3.57945	3.58094	1523270
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	3.73343	3.7349	1523303
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	3.76343	3.76482	1523144
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	3.82842	3.8279	1523321
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	4.27535	4.27941	1523318
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	4.40433	4.40732	1523387
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	4.55131	4.55271	1523327
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	4.55131	4.55595	1523375
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT	4.63329	4.635	1522817
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT	4.71628	4.71826	1522664
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	4.76027	4.76128	1523228
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	4.78627	4.78618	1523360
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	4.99024	4.993	1523324
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT	5.00224	5.00662	1522838
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	5.40718	5.41015	1523330
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT	5.48217	5.48408	1522679
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT	5.78012	5.7819	1522820
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT	5.95109	5.95257	1522685
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	6.569	6.57284	1523366
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	6.72698	6.7298	1523399
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	6.74397	6.74637	1523957
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	6.75297	6.75482	1523372
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	7.39987	7.40219	1524038
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	7.40687	7.40896	1523408
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	7.60384	7.60607	1523402
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	7.93879	7.94221	1523345
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	8.87365	8.87701	1523405
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT	9.53455	9.53759	1522832
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT	12.7211	12.7246	1523378
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	12.892	12.8959	1523369
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT	12.917	12.9219	1522490
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	13.073	13.0767	1523264
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT	13.5589	13.5621	1522835
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	13.9029	13.9067	1523219
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT	15.5756	15.5819	1522778
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	16.2915	16.2975	1523384
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT	16.7814	16.787	1522826
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT	16.7864	16.791	1523831
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	17.3344	17.3418	1523348
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	SAT	19.0191	19.0264	1522733
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	SAT	20.3489	20.3553	1522745
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT	22.9295	22.9391	1522757
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	23.9364	23.9427	1523306
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	SAT	25.1502	25.1607	1522412
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	26.443	26.4533	1523396
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	27.9937	28.0013	1523747
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	28.5177	28.524	1523777
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT	28.7976	28.8064	1522505
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	SAT	29.5195	29.5285	1522400
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT	31.6582	31.6733	1522754
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	SAT	32.2971	32.3073	1522772
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	34.0528	34.0628	1523381
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	SAT	35.0177	35.0297	1522466
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	SAT	37.3803	37.3932	1522721
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	SAT	38.2952	38.3065	1522715
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	SAT	38.5441	38.5553	1522739
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	SAT	38.5531	38.5648	1522394
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	39.267	39.279	1523357
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	SAT	46.106	46.1172	1522694
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	SAT	49.6654	49.678	1522760
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	SAT	50.3144	50.3275	1522727
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT	57.0433	57.0716	1522766
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT	57.1533	57.1897	1522502
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	SAT	57.3353	57.3572	1522901
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	57.6332	57.6466	1523126
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	SAT	62.4925	62.822	1522775
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	SAT	69.1135	69.1377	1522748
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	SAT	72.321	72.3562	1522508
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	SAT	75.8985	75.9259	1522409
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	SAT	77.2782	77.3498	1522481
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	88.7615	88.7973	1523393
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	SAT	91.5541	91.5897	1522658
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	SAT	92.058	92.0836	1522913
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	SAT	93.0878	93.112	1522814
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	SAT	93.1638	93.2002	1522631
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	SAT	94.1817	94.2082	1522448
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	SAT	96.8373	96.8634	1522643
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	SAT	100.197	100.224	1522769
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	SAT	101.087	101.113	1522889
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	SAT	109.73	109.757	1522892
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT	116.478	116.523	1522499
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	SAT	117.712	117.698	1522655
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	118.114	118.16	1523246
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	SAT	118.376	118.419	1522730
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT	118.622	118.652	1522634
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	SAT	120.666	120.701	1522361
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	SAT	126.573	126.612	1522718
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	SAT	135.954	136.329	1522487
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	SAT	136.303	136.349	1522736
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	SAT	138.02	138.076	1522703
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	SAT	139.63	139.681	1522700
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	SAT	142.294	142.342	1522805
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	SAT	149.684	149.731	1522751
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT	155.762	155.807	1522646
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf	SAT	160.753	160.794	1522796
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	SAT	161.462	161.441	1522724
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	SAT	162.289	162.34	1522496
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT	165.5	165.554	1522391
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT	170.525	170.588	1522493
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT	181.504	181.571	1522637
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	SAT	190.987	191.057	1522691
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	SAT	191.712	191.778	1522847
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	SAT	196.43	196.483	1522709
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	SAT	198.313	198.414	1522403
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	SAT	204.483	204.537	1522850
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	SAT	205.001	205.071	1522853
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf	SAT	214.442	214.522	1522793
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	SAT	228.924	229.008	1522868
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	SAT	246.925	247	1522808
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	SAT	260.629	260.697	1522763
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	SAT	282.237	283.663	1522712
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf	SAT	314.848	314.808	1522859
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	SAT	315.693	315.772	1522364
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	SAT	328.953	329.059	1522469
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	SAT	334.213	334.303	1522652
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	SAT	344.556	344.646	1522460
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	SAT	383.165	383.308	1522463
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	SAT	427.501	427.624	1522484
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	SAT	440.046	440.158	1522649
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	SAT	465.119	465.29	1522919
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	SAT	475.93	476.068	1522697
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S56507352-034.cnf	SAT	530.094	530.398	1522907
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf	SAT	531.188	531.386	1522406
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	SAT	559.27	559.427	1522478
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	SAT	587.391	587.553	1522862
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	SAT	594.929	595.195	1522928
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	SAT	605.951	606.118	1522841
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	SAT	623.326	623.493	1522436
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	SAT	623.396	623.546	1522607
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	SAT	631.089	631.315	1522445
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	SAT	657.339	657.578	1522916
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	SAT	684.887	685.079	1522415
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	SAT	692.624	692.823	1522430
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT	699.902	700.167	1522640
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	SAT	701.592	701.797	1522424
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf	SAT	730.797	731.034	1522613
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf	SAT	776.069	776.334	1522880
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf	SAT	858.615	858.837	1522865
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf	SAT	910.35	910.606	1522874
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf	SAT	912.229	912.54	1522844
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf	SAT	971.378	971.693	1522790
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf	SAT	975.546	975.422	1522706
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf	SAT	989.377	989.721	1522910
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S219795104-099.cnf	SAT	991.872	992.23	1522922
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	SAT	1017.72	1018	1522787
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	SAT	1089.97	1090.32	1522619
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	SAT	1113.75	1114.38	1522370
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	SAT	1149.56	1149.84	1522856
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	SAT	1178.71	1179.11	1522616
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	SAT	1180.03	1180.39	1522388

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

Result page for solver TNM 2009-03-22 (incomplete)

Category "applications instances" (APPLICATION)

Solver proved unsatisfiability (UNSATISFIABLE) (1 run) [Show/Hide]

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

Solver didn't decide (UNKNOWN) (9 runs) [Show/Hide]

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

Solver was terminated by a signal (7 runs) [Show/Hide]

Category "crafted instances" (CRAFTED)

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

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

Category "random instances" (RANDOM)

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

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