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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	1.50577	1.133	1722139
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	10.7374	6.58797	1721339
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	21.0678	11.6319	1722039
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	149.924	76.0791	1722489

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (TO)	1200.02	602.115	1556835
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (TO)	1200.03	1198.51	1560735
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	? (TO)	1200.03	601.613	1554599
APPLICATIONS/aprove09/ AProVE09-11.cnf	? (TO)	1200.03	601.414	1560891
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (TO)	1200.03	601.415	1560943
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.03	601.818	1722389
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.03	601.514	1722189
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.03	601.722	1721389
een-tip-sat-texas-tp-5e.cnf	? (TO)	1200.03	601.813	1720929
APPLICATIONS/bitverif/ minor/minor064.cnf	? (TO)	1200.03	601.716	1553195
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (TO)	1200.03	601.621	1562919
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (TO)	1200.03	601.92	1578231
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.04	601.917	1718069
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (TO)	1200.04	601.921	1579427
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.04	601.721	1721689
manol-pipe-g10id.cnf	? (TO)	1200.04	601.725	1723553
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.04	602.025	1716353
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.04	602.015	1555483
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.04	601.621	1722639
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.04	601.622	1560579
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1200.04	601.722	1717497
mizh-sha0-36-4.cnf	? (TO)	1200.04	601.516	1720253
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.05	601.515	1722439
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.05	601.62	1722839
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.05	602.316	1553507
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.05	602.025	1715677
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.05	601.517	1563231
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (TO)	1200.05	601.516	1562711
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.05	601.62	1723397
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (TO)	1200.05	1200.52	1553351
APPLICATIONS/aprove09/ AProVE09-22.cnf	? (TO)	1200.05	601.513	1560475
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.05	601.621	1721789
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.05	602.433	1717185
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.06	602.228	1716509
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.06	602.433	1578959
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (TO)	1200.06	1202.41	1554859
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.06	601.619	1722989
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.06	602.531	1716561
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.06	603.838	1580779
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.06	1200.53	1580883
simon-s02b-dp11u10.cnf	? (TO)	1200.06	601.913	1723865
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.06	601.62	1721989
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.06	601.515	1723039
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.06	601.921	1563699
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	? (TO)	1200.06	602.225	1581975
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.06	601.925	1556263
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.06	602.02	1721439
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.06	602.528	1582027
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.06	602.025	1716665
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.07	601.619	1558239
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.07	602.115	1563595
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.07	602.743	1716405
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.07	601.726	1717341
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.07	603.139	1579375
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.07	601.619	1557719
mizh-sha0-35-3.cnf	? (TO)	1200.07	601.516	1720721
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.07	603.45	1719005
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.07	602.844	1577867
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.07	602.515	1717133
manol-pipe-c7nidw.cnf	? (TO)	1200.07	601.823	1723501
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.08	661.514	1555275
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (TO)	1200.08	602.115	1559227
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.08	601.317	1717861
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.08	601.413	1722539
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.08	601.414	1722289
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.08	602.025	1581767
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.08	1200.43	1581923
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.08	601.618	1558083
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	? (TO)	1200.08	601.513	1555067
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.08	1206.01	1554703
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.08	601.726	1563387
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.08	601.516	1563127
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.08	602.316	1562763
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.08	602.633	1577607
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (TO)	1200.08	601.813	1560631
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.08	602.438	1717393
industrial/babic/hsatv17/ hsat_vc11813.cnf	? (TO)	1200.09	602.13	1717965
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (TO)	1200.09	601.82	1721739
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.09	602.737	1578803
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (TO)	1200.09	601.923	1579479
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.09	601.813	1554183
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.09	602.125	1715729
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.09	602.33	1715625
APPLICATIONS/ bitverif/minand/minand128.cnf	? (TO)	1200.09	602.215	1554235
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.09	601.721	1556159
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.09	601.621	1718901
manol-pipe-f9b.cnf	? (TO)	1200.09	601.823	1719993
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.09	601.515	1562815
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.09	601.62	1718433
mizh-md5-48-5.cnf	? (TO)	1200.09	601.621	1721137
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.1	601.724	1554027
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.1	601.82	1554755
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.1	602.738	1581091
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (TO)	1200.1	601.515	1562971
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.1	601.621	1557511
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.1	605.537	1724229
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.1	601.619	1559019
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.1	602.03	1716145
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.1	601.515	1722589
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.1	602.632	1579843
manol-pipe-c10nid_i.cnf	? (TO)	1200.1	602.029	1720773
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.1	601.822	1556471
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (TO)	1200.11	602.941	1563647
industrial/babic/xinetd/ xinetd_vc56703.cnf	? (TO)	1200.11	601.622	1718849
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.11	602.33	1581611
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.11	602.842	1563283
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.11	602.431	1716249
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.11	601.726	1717653
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.11	601.815	1718693
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (TO)	1200.11	602.222	1579895
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1200.11	601.621	1557823
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.11	601.62	1557979
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.11	601.618	1559643
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1200.11	602.328	1577659
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.12	601.517	1556367
mizh-md5-47-4.cnf	? (TO)	1200.12	601.617	1720565
aloul-chnl11-13.cnf	? (TO)	1200.12	601.512	1720409
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.12	602.227	1716613
simon-s03-fifo8-300.cnf	? (TO)	1200.12	602.124	1724177
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.12	602.33	1580103
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.12	602.015	1553299
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.12	602.33	1715885
manol-pipe-c7bidw_i.cnf	? (TO)	1200.12	601.724	1724281
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.12	602.432	1724437
manol-pipe-c6nidw_i.cnf	? (TO)	1200.12	601.621	1724489
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.12	601.516	1716873
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.12	601.515	1563023
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (TO)	1200.12	602.014	1560371
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (TO)	1200.12	601.718	1553819
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1200.12	601.414	1723089
manol-pipe-g10nid.cnf	? (TO)	1200.12	601.924	1720201
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.13	601.624	1723605
manol-pipe-f9n.cnf	? (TO)	1200.13	601.923	1723969
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.13	601.722	1717237
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.13	602.23	1715989
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.13	602.434	1715781
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.13	601.516	1721289
cmu-bmc-longmult15.cnf	? (TO)	1200.13	601.716	1720669
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.13	601.622	1556575
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.14	602.635	1716041
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.14	602.516	1556523
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.14	602.328	1553871
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.14	602.014	1556107
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.14	602.739	1555171
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1200.14	602.327	1580571
industrial/grieu/ vmpc_26.cnf	? (TO)	1200.14	601.513	1718745
mizh-md5-47-3.cnf	? (TO)	1200.14	601.621	1719525
velev-live-uns-2.0-ebuf.cnf	? (TO)	1200.14	601.515	1723709
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.14	601.514	1563179
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.14	602.738	1581351
schup-l2s-guid-1-k56.cnf	? (TO)	1200.14	601.621	1724125
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (TO)	1200.14	602.417	1559955
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	? (TO)	1200.15	602.227	1577711
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.15	601.928	1716457
schup-l2s-abp4-1-k31.cnf	? (TO)	1200.15	601.814	1719629
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.15	601.514	1559799
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (TO)	1200.15	601.514	1562659
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.15	601.616	1556627
mizh-sha0-36-3.cnf	? (TO)	1200.15	601.62	1719837
simon-s03-w08-15.cnf	? (TO)	1200.15	602.021	1719785
industrial/babic/hsatv17/ hsat_vc11803.cnf	? (TO)	1200.15	602.028	1718017
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (TO)	1200.15	602.229	1717913
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.15	602.122	1553403
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.15	601.514	1717081
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (TO)	1200.16	601.515	1560059
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.16	601.924	1555899
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (TO)	1200.16	601.516	1559747
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.16	603.348	1717289
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.16	601.916	1718121
industrial/grieu/ vmpc_25.cnf	? (TO)	1200.16	601.515	1718381
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.16	601.62	1559539
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.16	601.912	1556055
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.16	602.532	1715833
manol-pipe-g6bi.cnf	? (TO)	1200.17	601.515	1723761
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.17	602.023	1723917
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.17	601.812	1716977
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.17	602.842	1716769
goldb-heqc-x1mul.cnf	? (TO)	1200.17	601.513	1719473
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (TO)	1200.17	601.621	1556887
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1200.17	601.915	1558447
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.17	602.124	1554911
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.17	603.025	1721839
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.17	601.619	1559279
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.17	602.013	1718329
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.17	601.919	1721539
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1200.17	602.531	1577503
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (TO)	1200.17	602.129	1563491
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.18	601.618	1718589
manol-pipe-c6bidw_i.cnf	? (TO)	1200.18	601.623	1720305
mizh-sha0-36-2.cnf	? (TO)	1200.18	601.621	1724021
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.18	602.533	1580363
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.18	601.618	1559383
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.18	601.515	1722889
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.18	601.515	1562867
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (TO)	1200.18	601.812	1718277
manol-pipe-c10nidw_s.cnf	? (TO)	1200.18	602.535	1723241
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.18	601.619	1723139
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (TO)	1200.19	601.718	1558499
hoons-vbmc-lucky7.cnf	? (TO)	1200.19	602.014	1719889
industrial/grieu/ vmpc_24.cnf	? (TO)	1200.19	601.514	1718537
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	? (TO)	1200.19	604.018	1554131
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.19	601.916	1558031
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.19	602.637	1717809
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.19	601.617	1718641
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.19	601.72	1554443
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.19	602.947	1719941
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.19	601.718	1558811
manol-pipe-c10nidw.cnf	? (TO)	1200.19	602.538	1720097
velev-engi-uns-1.0-4nd.cnf	? (TO)	1200.2	601.514	1720149
schup-l2s-motst-2-k315.cnf	? (TO)	1200.2	602.749	1720045
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.2	601.62	1721189
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.2	604.666	1719057
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.2	601.913	1718225
manol-pipe-g10bidw.cnf	? (TO)	1200.2	602.026	1723293
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.2	602.749	1717757
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.2	604.569	1577763
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.2	601.915	1559331
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.2	601.515	1721239
manol-pipe-f10ni.cnf	? (TO)	1200.2	602.934	1724073
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.2	602.738	1580155
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (TO)	1200.2	601.917	1556783
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.21	603.242	1580051
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.21	601.922	1719109
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.21	602.124	1716717
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.21	602.432	1716093
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.21	602.74	1582183
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1200.21	601.62	1563075
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.21	601.814	1718485
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.21	602.12	1722789
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.21	601.623	1559695
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.21	602.839	1719161
manol-pipe-c9.cnf	? (TO)	1200.21	601.913	1724385
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.21	602.329	1716301
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.21	602.837	1580259
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.22	601.621	1556731
manol-pipe-g7nidw.cnf	? (TO)	1200.22	601.62	1724333
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.22	601.515	1721889
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.22	601.621	1557043
APPLICATIONS/aprove09/ AProVE09-13.cnf	? (TO)	1200.22	601.718	1560319
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.22	602.228	1716197
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (TO)	1200.22	601.62	1560111
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.22	601.314	1717029
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.22	602.226	1582755
APPLICATIONS/bitverif/ minor/minor032.cnf	? (TO)	1200.22	602.214	1553247
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.22	602.221	1720357
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (TO)	1200.22	602.012	1718173
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.22	603.036	1582443
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (TO)	1200.22	601.623	1557095
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.22	602.839	1581507
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.22	601.819	1558863
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (TO)	1200.23	601.719	1557615
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.23	602.227	1715937
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (TO)	1200.23	602.515	1555639
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.23	602.628	1577919
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.23	602.745	1563335
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.24	602.33	1554547
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.24	602.226	1579999
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.24	602.228	1719317
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.25	603.965	1563751
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (TO)	1200.25	604.056	1577815
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.25	603.652	1577555

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (exit code)	0	0.005358	1563439
industrial/fuhs/hard/ AProVE07-01.cnf	? (exit code)	0.002999	0.00505405	1716925
industrial/fuhs/medium/ AProVE07-09.cnf	? (exit code)	0.010997	0.0115341	1716821
APPLICATIONS/aprove09/ AProVE09-25.cnf	? (exit code)	0.011997	0.0127521	1560163
APPLICATIONS/aprove09/ AProVE09-03.cnf	? (exit code)	0.018996	0.0187171	1560683
APPLICATIONS/aprove09/ AProVE09-10.cnf	? (exit code)	0.021995	0.0220871	1560839
APPLICATIONS/aprove09/ AProVE09-01.cnf	? (exit code)	0.023995	0.024771	1560423
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (exit code)	0.048992	0.049627	1717705
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (exit code)	0.066989	0.0655301	1717601
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (exit code)	0.073988	0.074107	1717549
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (exit code)	0.082987	0.0825119	1717445
velev-vliw-uns-4.0-9C1.cnf	? (exit code)	0.859868	0.85874	1723813
velev-vliw-uns-4.0-9-i1.cnf	? (exit code)	1.61375	1.61407	1719733
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (exit code)	5.83711	5.83824	1719369
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (exit code)	6.29804	6.2985	1719421

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
cmu-bmc-barrel6.cnf	Signal 11	5.19621	2.7013	1719577
velev-pipe-sat-1.0-b7.cnf	Signal 6	8.32673	8.34058	1723189
velev-pipe-sat-1.0-b10.cnf	Signal 6	8.83166	8.83742	1723345
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	Signal 11	8.85565	9.00266	1718953
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	Signal 11	9.2136	9.23175	1719265
industrial/narain/ clauses-8.cnf	Signal 11	9.77551	9.78255	1718797
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	Signal 6	10.2944	13.1899	1719213
goldb-heqc-i10mul.cnf	Signal 11	59.201	34.9583	1723449
goldb-heqc-term1mul.cnf	Signal 11	456.623	229.108	1723657

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
goldb-heqc-frg1mul.cnf	Wrong Cert.	36.1635	18.3747	1719681
goldb-heqc-dalumul.cnf	Wrong Cert.	367.933	186.579	1720461
goldb-heqc-alu4mul.cnf	Wrong Cert.	852.3	427.608	1721033

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0	0.00501098	1736889
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.000999	0.004983	1736589

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.008997	0.00899303	1733039
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.016997	0.0167849	1734239
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.018997	0.019662	1734389
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.022996	0.023695	1734139
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.034994	0.0341091	1734189
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.038993	0.0385941	1734489
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.041993	0.041103	1734339
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.042992	0.0415031	1734439
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.042993	0.042697	1736189
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.046992	0.0466651	1734589
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.054991	0.0545439	1734289
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.065989	0.0619	1734639
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	0.072988	0.0707261	1732689
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.083987	0.080676	1734539
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.095985	0.0918831	1736239
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.359945	0.347128	1732889
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	0.6529	0.332005	1732439
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	0.711891	0.360806	1732389
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	1.23881	1.18719	1733139
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	2.17267	1.0906	1732339
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	2.37664	1.1953	1732489
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	3.12552	1.58571	1738137
CRAFTED/ramseycube/ Q3inK12.cnf	SAT	3.81542	3.63975	1732939
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	SAT	4.08538	2.05272	1732639
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	SAT	10.1175	5.07392	1737501
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	SAT	13.426	6.73082	1737607
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	15.3337	7.71456	1738296
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	SAT	20.5199	10.2939	1737448
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	32.0991	22.2517	1561515
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	SAT	35.0617	17.5829	1732589
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	40.5668	20.3574	1738190
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	SAT	42.7515	21.4801	1738243
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	46.8879	23.5711	1735139
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	82.4725	41.3819	1725707
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	115.412	64.2343	1561931
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	SAT	155.393	77.9507	1736039
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	213.295	106.966	1725760
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	237.575	121.841	1561411
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	336.062	168.433	1738084
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	SAT	474.554	237.912	1732539
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	500.664	250.95	1734989
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	530.278	265.748	1738349
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	536.326	268.828	1735289
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	SAT	611.007	306.27	1732239
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	634.553	318.026	1733289
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	SAT	827.805	414.91	1737395
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	SAT	922.228	462.236	1732289
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	1023.61	512.976	1735089

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	1200.02	602.212	1725919
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.02	601.512	1730530
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	1200.03	601.513	1735889
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	? (TO)	1200.03	601.414	1562139
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.03	601.413	1561307
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.03	601.513	1729735
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.03	601.713	1729046
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.03	601.617	1735539
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.03	601.515	1733489
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	? (TO)	1200.03	601.912	1732139
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.03	601.718	1727668
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.04	615.229	1734839
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.04	601.514	1733589
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.04	601.414	1729258
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.04	601.414	1732989
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.04	601.718	1730053
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.04	601.514	1736139
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.04	601.614	1731007
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.05	601.619	1727032
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (TO)	1200.05	603.529	1736339
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.05	601.618	1735739
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.05	601.816	1730212
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.05	601.513	1726661
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.05	601.619	1732839
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.05	601.812	1729841
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.05	601.515	1733839
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	? (TO)	1200.06	601.515	1561827
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	? (TO)	1200.06	601.414	1562035
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.06	601.918	1731989
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.06	601.716	1728781
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.06	601.913	1737660
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.06	601.415	1726767
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.06	601.718	1731378
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.06	601.718	1729947
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	? (TO)	1200.06	602.012	1731939
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.06	601.413	1728357
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.06	602.426	1733739
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	? (TO)	1200.06	601.717	1725283
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.06	601.618	1731325
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.06	601.617	1731060
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.07	601.718	1736089
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.07	601.513	1727880
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	? (TO)	1200.07	602.112	1726237
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.07	601.616	1727933
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.07	601.616	1730477
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.07	601.515	1734089
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.07	602.112	1725866
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (TO)	1200.07	601.413	1562191
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.07	601.414	1562503
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.07	602.012	1737554
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.08	627.061	1727403
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.08	601.616	1726025
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.08	601.917	1735639
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.08	601.512	1727827
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.08	601.916	1729523
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.08	601.815	1735489
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.08	601.912	1730848
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.08	601.818	1730265
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.09	601.819	1733439
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.09	601.817	1725336
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	? (TO)	1200.09	601.513	1735439
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (TO)	1200.09	601.716	1726078
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.09	604.014	1726449
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.09	604.04	1726979
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (TO)	1200.09	601.414	1561567
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.09	601.722	1728728
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.09	601.512	1729099
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	? (TO)	1200.09	601.513	1735189
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.09	601.612	1729629
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.09	603.636	1730689
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.09	601.914	1730636
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.1	601.811	1725442
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.1	603.832	1736639
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.1	601.512	1730742
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.1	601.721	1728463
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.1	601.513	1733389
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (TO)	1200.1	601.414	1560995
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	1200.1	601.413	1738402
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.1	601.712	1731219
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.1	602.014	1725548
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.1	601.714	1729152
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.1	601.514	1728622
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.11	601.412	1730424
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.11	601.514	1731590
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.11	603.413	1726343
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.11	603.348	1561099
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.11	601.616	1731431
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.11	601.513	1730318
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	? (TO)	1200.11	601.812	1732039
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.11	601.514	1733639
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.11	601.913	1729682
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.11	602.125	1728304
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.11	601.613	1725495
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.11	602.517	1734739
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.11	601.913	1735839
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.11	601.514	1727721
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.12	601.717	1729894
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.12	602.43	1561203
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.12	601.718	1725813
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	? (TO)	1200.12	602.013	1726290
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.12	601.414	1728092
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.12	601.712	1729417
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.12	601.716	1731484
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.12	601.412	1731643
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.12	602.525	1733339
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.12	602.619	1735989
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.12	602.012	1737289
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	? (TO)	1200.12	601.917	1736839
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.12	602.617	1734889
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.13	601.514	1733239
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	? (TO)	1200.13	601.512	1734939
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.13	601.817	1561151
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	? (TO)	1200.13	601.618	1725654
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (TO)	1200.13	601.413	1561671
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.13	601.515	1726926
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.13	601.613	1728993
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.13	601.814	1725389
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.13	601.616	1727986
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	? (TO)	1200.13	603.314	1734789
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (TO)	1200.13	610.255	1737239
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.13	622.103	1737766
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.13	601.718	1731166
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.14	601.512	1726396
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.14	602.615	1735589
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	1200.14	601.513	1735789
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.14	601.612	1731537
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.14	601.914	1731272
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.14	601.913	1731889
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (TO)	1200.14	601.718	1726131
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.14	601.915	1730583
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.14	601.617	1726555
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.14	601.515	1727191
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	? (TO)	1200.14	601.719	1562451
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.15	601.616	1725972
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.15	602.011	1731839
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.15	601.914	1732189
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.15	601.617	1729470
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.15	601.619	1729364
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.15	601.711	1728887
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.15	601.717	1728675
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.15	601.513	1733689
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.15	601.413	1728039
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.15	601.512	1727138
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.15	629.827	1737978
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.16	601.616	1726502
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.16	602.012	1737713
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	? (TO)	1200.16	601.72	1736689
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.16	603.024	1737139
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.16	601.513	1733989
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.16	601.514	1733539
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.16	602.011	1728251
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.16	610.755	1736289
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.16	602.323	1733189
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.16	601.512	1729576
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.16	604.753	1562555
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.16	601.62	1734039
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.17	601.513	1726873
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	? (TO)	1200.17	601.512	1733889
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.17	601.716	1730106
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.17	602.113	1737342
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.17	601.713	1729311
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.17	601.911	1731113
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.17	601.718	1730000
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	? (TO)	1200.17	601.916	1735239
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.17	601.812	1726184
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.17	601.62	1730795
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.17	601.718	1729788
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.17	601.514	1727085
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.18	605.86	1732789
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.18	602.417	1735689
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.18	601.619	1730159
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.18	601.515	1726820
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.18	601.513	1734689
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.18	601.514	1733939
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.18	601.812	1728198
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	1200.18	601.512	1735939
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	? (TO)	1200.18	604.434	1562087
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.19	601.616	1731696
CRAFTED/ramseycube/ Q32inK09.cnf	? (TO)	1200.19	601.414	1733089
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.19	602.316	1728569
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.19	602.412	1732089
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.19	601.917	1730371
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	1200.2	601.917	1735339
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.2	601.811	1730901
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.2	601.812	1728834
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	1200.2	612.05	1562347
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.2	610.849	1561255
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.2	601.716	1730954
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.21	601.813	1728145
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	? (TO)	1200.21	601.917	1736489
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.21	601.716	1727774
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.21	601.616	1726608
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.21	601.616	1726714
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.21	602.324	1733789
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.21	601.617	1735389
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (TO)	1200.22	622.104	1737819
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.22	601.512	1729205
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.22	601.614	1725601
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.22	602.018	1562295
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.22	601.613	1728940
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.22	601.619	1735039
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.23	608.146	1736739
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.23	631.798	1727297
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.23	602.932	1562607
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.23	625.042	1727456
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.23	689.997	1727615
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.23	601.616	1728516
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.24	634.36	1727244
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.25	605.352	1728410
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	? (TO)	1200.25	607.745	1736989
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.29	630.025	1737872
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1200.34	662.545	1738031
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	1200.43	662.842	1737925

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (MO)	12.2481	12.3782	1727562
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (MO)	37.7653	37.9739	1727350
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (MO)	45.5531	45.6036	1727509

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	Signal 11	3.13152	1.7372	1562243
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	Signal 11	33.4159	16.823	1736789
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	Signal 11	93.5818	46.9084	1736389
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	Signal 11	109.618	55.0002	1736539
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	Signal 11	371.481	186.126	1736439
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	Signal 11	436.101	220.251	1736939
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	Signal 11	791.71	396.805	1737039

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	Wrong Cert.	3.2955	1.7137	1562399
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	Wrong Cert.	3.66144	1.8425	1737089
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	Wrong Cert.	7.96079	4.06886	1561359
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	Wrong Cert.	8.02678	4.05736	1561047
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	Wrong Cert.	14.6508	7.51805	1561723
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	Wrong Cert.	42.2306	42.2428	1561775
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	Wrong Cert.	436.224	249.323	1561983
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	Wrong Cert.	1122.45	562.889	1561463

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	0.005998	0.00654495	1543228
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	0.005998	0.00671009	1543030
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.005999	0.00683393	1543312
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	0.008997	0.00985792	1541452
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.008997	0.00840101	1543042
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	0.009997	0.00835992	1541464
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	0.009997	0.010499	1543324
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.011997	0.00989491	1542784
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	0.012997	0.0105621	1543258
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.013997	0.011267	1542832
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.014997	0.0109201	1543174
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.015996	0.01177	1542808
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	0.015997	0.0112999	1543000
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.016996	0.0126739	1543180
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.016997	0.0126571	1542982
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.017996	0.014074	1541398
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	0.017996	0.012941	1543018
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.018996	0.0129881	1542934
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.018997	0.0124599	1541482
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.019996	0.0134681	1543240
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	0.019996	0.0142661	1541368
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	0.019996	0.014078	1543156
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.020996	0.015093	1543246
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.020996	0.014647	1543036
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.020996	0.0145859	1541416
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.022995	0.015253	1543288
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.024995	0.0162111	1543300
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.024995	0.0164249	1542910
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	0.024996	0.017051	1542898
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	0.025995	0.0164361	1542706
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	0.026995	0.0180129	1542814
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.026995	0.018749	1541332
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	0.026995	0.019168	1541314
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	0.026995	0.024827	1541836
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	0.027995	0.01741	1543072
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	0.030994	0.0195399	1542880
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.030995	0.0370641	1541392
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	0.031994	0.0181001	1543138
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	0.032994	0.0208099	1542796
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	0.033994	0.022124	1543054
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	0.035994	0.0208311	1543012
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	0.037993	0.023238	1543114
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	0.037993	0.0231931	1543270
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	0.038993	0.0234961	1542712
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.039993	0.023104	1543264
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	0.040993	0.0245761	1543126
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	0.042992	0.0256289	1543210
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	0.043993	0.0259791	1542862
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	0.046991	0.0254739	1542958
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	0.046992	0.027094	1541536
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	0.047992	0.026538	1542844
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	0.049991	0.028453	1542778
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.049991	0.028312	1542856
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	0.051991	0.030676	1542886
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	0.05799	0.0320951	1541446
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	0.06099	0.033882	1543276
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.06099	0.0343809	1541386
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	0.06099	0.0335119	1542952
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	0.06199	0.033445	1543168
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.06299	0.035496	1543216
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.065989	0.0380111	1541308
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	0.070989	0.0394419	1543024
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	0.071988	0.0386971	1542718
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	0.073988	0.04031	1541338
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	0.074987	0.0421279	1542970
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	0.074988	0.0416361	1542976
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	0.076987	0.0414719	1541470
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	0.076988	0.0411589	1543198
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.078987	0.0435641	1543336
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.083986	0.0475431	1541440
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	0.087986	0.047529	1541476
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	0.092985	0.0499689	1543102
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	0.096984	0.054393	1543204
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	0.096984	0.052685	1541410
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	0.103983	0.054938	1542694
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.104983	0.0561039	1543294
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	0.106983	0.056718	1543144
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	0.107982	0.05772	1541542
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	0.109983	0.0589889	1542772
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	0.11898	0.0623541	1542826
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	0.119981	0.063335	1542904
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	0.129979	0.069308	1543060
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	0.130979	0.0701859	1541320
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	0.130979	0.069747	1542874
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.138978	0.0734419	1543342
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	0.140977	0.0743669	1541506
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	0.144977	0.0765	1543066
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	0.147977	0.076908	1543150
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.152976	0.0798091	1542838
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	0.156975	0.083197	1542988
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.156976	0.084002	1541380
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.168973	0.0886331	1543234
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	0.18697	0.0968079	1541374
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	0.18997	0.0988459	1542766
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	0.19397	0.105509	1541806
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	0.200968	0.104023	1542790
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	0.200968	0.10947	1541932
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	0.230963	0.119363	1542802
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	0.233963	0.129432	1541890
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	0.238963	0.123306	1542820
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	0.243961	0.125239	1543318
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	0.246961	0.127802	1541428
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	0.246962	0.127003	1542940
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	0.25796	0.132038	1543330
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	0.25796	0.132304	1541350
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	0.262959	0.133914	1543186
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	0.266958	0.135712	1543096
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	0.266958	0.138387	1542748
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	0.273958	0.141044	1543084
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	0.284956	0.146892	1543192
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	0.333948	0.176892	1541812
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	0.349946	0.350129	1541872
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	0.360945	0.184591	1543132
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	0.367943	0.193712	1541956
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	0.371942	0.191237	1542928
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	0.396938	0.203519	1541344
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT	0.403937	0.213866	1540552
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	0.417936	0.212437	1541518
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	0.442932	0.225966	1542730
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	0.486925	0.249121	1542964
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.500923	0.255909	1542850
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT	0.512921	0.260349	1543048
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.559914	0.284397	1541404
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	0.567913	0.288203	1541434
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	0.594909	0.304336	1541494
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	0.599908	0.306201	1542742
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT	0.634902	0.324834	1540528
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	0.634902	0.321588	1543108
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	0.637902	0.330613	1543222
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	0.681895	0.347427	1541488
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	0.71789	0.363507	1541326
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	0.738887	0.380292	1541824
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	0.78088	0.393713	1542724
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	0.795878	0.40113	1542994
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	0.883865	0.446182	1541362
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	0.910861	0.468344	1541980
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	0.946855	0.478878	1543078
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	0.947855	0.47817	1543090
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	0.953854	0.484236	1543006
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	0.958853	0.484363	1542754
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	1.02384	0.521738	1541788
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	1.05384	0.532108	1542892
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	1.22081	0.616185	1541512
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	1.26981	0.641498	1542688
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	1.3228	0.665557	1541422
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	1.38779	0.705008	1541926
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	1.44078	0.726152	1542736
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT	1.44778	0.734672	1540570
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	1.44878	0.730463	1542946
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	1.59576	0.803371	1541500
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	1.68474	0.855822	1541986
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT	1.82472	0.922736	1540564
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	1.83472	0.922584	1541530
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT	1.92671	0.972949	1541962
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	1.9337	0.982909	1542010
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	1.9717	0.996439	1543306
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	2.06169	1.043	1541914
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	2.09168	1.05168	1542922
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	2.14267	1.08524	1541968
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	2.25066	1.12948	1542916
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT	2.34464	1.18333	1540546
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT	2.38364	1.21058	1540204
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	2.5876	1.3046	1543282
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	2.6346	1.3259	1541524
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	2.69259	1.35223	1541356
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT	3.03054	1.53386	1540840
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT	3.13252	1.57887	1540540
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	3.63345	1.82265	1543252
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT	3.81542	1.92014	1540534
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	3.9414	1.98492	1541998
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	3.9514	1.99116	1542016
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	4.03839	2.03332	1541842
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	4.08838	2.06054	1541734
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	4.15837	2.09059	1541830
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	4.20436	2.11909	1541800
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	4.27935	2.15353	1543162
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	4.39633	2.20848	1543120
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	4.68529	2.35559	1541644
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	4.68729	2.35575	1541974
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	4.69029	2.36056	1541878
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT	5.18821	2.61711	1540852
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT	5.40618	2.71952	1540558
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	5.54416	2.78687	1541944
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	5.65814	2.84723	1541866
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	5.97509	3.00317	1541794
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	6.00409	3.01973	1541902
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	6.33404	3.18541	1541884
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	6.67798	3.35689	1541848
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	6.73897	3.38993	1542022
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	SAT	7.36588	3.71479	1540024
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	7.65484	3.84376	1542760
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	7.75682	3.89631	1541854
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT	8.31274	4.18054	1540582
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT	8.99563	4.53237	1539988
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	SAT	9.76451	4.91152	1540222
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	10.0815	5.06164	1541920
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT	10.9703	5.51691	1540216
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT	11.4223	5.74416	1540864
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	12.0702	6.05597	1541818
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT	12.0972	6.08305	1540870
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	12.2571	6.15095	1541938
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	12.8091	6.42931	1541950
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	SAT	13.9329	7.0033	1540000
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	14.0089	7.03419	1541860
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT	14.1698	7.11533	1540576
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	15.5896	7.82154	1541908
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	16.2545	8.15612	1541698
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	16.8144	8.43762	1541662
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT	16.8324	8.457	1540192
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	17.1274	8.59367	1541896
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT	17.7683	8.92794	1540210
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	SAT	19.776	9.94335	1540066
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT	20.8628	10.4804	1540714
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT	22.2306	11.1717	1540720
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	23.0685	11.5711	1542700
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	SAT	26.123	13.1189	1539946
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	26.9949	13.5392	1542004
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT	29.3655	14.7326	1542868
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT	29.4555	14.7919	1540762
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT	31.0023	15.558	1540846
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	SAT	32.0901	16.1041	1540510
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	SAT	32.569	16.3453	1540198
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	SAT	33.3599	16.7507	1540750
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	SAT	34.4348	17.2855	1539964
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	SAT	35.0757	17.6053	1539994
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	40.1619	20.1325	1541458
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	SAT	43.7713	21.972	1540138
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	SAT	47.5868	23.8772	1540144
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT	59.31	29.7554	1540186
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf	SAT	61.3967	30.7969	1540042
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	SAT	65.541	32.8718	1540030
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	68.9645	34.5703	1541992
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	SAT	71.2262	35.7421	1540102
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	SAT	73.6428	36.9446	1540054
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	SAT	73.6968	36.9777	1540678
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT	75.5735	37.8972	1540882
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT	78.4261	39.3338	1540876
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S45173584-020.cnf	SAT	79.4749	39.8578	1539970
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	SAT	90.1333	45.2281	1539928
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT	90.3813	45.3091	1540498
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT	92.6809	46.4876	1540738
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	SAT	94.2647	47.2722	1540006
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	SAT	100.219	50.261	1540036
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	SAT	100.995	101.044	1540600
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	SAT	111.042	55.6767	1540162
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	SAT	113.754	57.0628	1540726
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	SAT	116.892	58.6145	1540168
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	SAT	122.875	61.6645	1540696
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	SAT	131.145	65.7893	1540648
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	SAT	131.362	65.9079	1540624
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	SAT	135.581	68.006	1540174
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	SAT	135.667	68.0311	1540126
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	SAT	144.108	72.2838	1540654
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	SAT	160.965	80.7137	1540114
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	SAT	174.29	87.414	1541008
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	SAT	180.523	90.5118	1540834
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	SAT	185.102	92.8508	1540708
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	SAT	188.081	94.338	1540180
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	SAT	188.6	94.5673	1540078
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	SAT	207.314	103.94	1539934
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	SAT	211.841	106.251	1540642
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	SAT	216.579	108.688	1540816
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT	228.504	114.522	1541746
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	SAT	235.025	117.828	1540048
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT	239.755	120.242	1540858
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	SAT	249.056	124.901	1540594
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	SAT	252.471	126.583	1540120
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT	283.285	141.97	1540480
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	SAT	305.129	152.929	1540426
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	SAT	330.506	165.692	1540096
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	SAT	335.944	336.097	1539982
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	SAT	348.701	174.831	1540132
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	SAT	355.138	177.999	1540444
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	SAT	375.417	188.257	1540672
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	SAT	385.389	193.232	1540666
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT	402.883	201.907	1540486
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	SAT	444.141	222.751	1540150
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	SAT	448.327	224.748	1540012
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	SAT	467.228	234.209	1540084
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S704699380-099.cnf	SAT	519.094	260.219	1539952
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	SAT	597.207	299.295	1540516
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	SAT	597.453	299.435	1540468
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	SAT	598.493	300.106	1540732
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	SAT	603.89	302.798	1540660
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S2140929154-062.cnf	SAT	660.817	331.199	1540312
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	SAT	709.404	355.711	1540612
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	SAT	724.837	363.235	1540456
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1295462378-089.cnf	SAT	727.99	364.819	1540390
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT	766.926	384.335	1540474
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	SAT	770.363	386.07	1540438
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	SAT	777.005	389.61	1540606
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	SAT	828.725	415.526	1541032
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1738391204-028.cnf	SAT	873.52	437.846	1540156
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	SAT	892.703	447.643	1540684
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1322153318-039.cnf	SAT	898.65	450.465	1539958
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	SAT	911.479	916.078	1540504
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	SAT	929.117	465.922	1540744
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	SAT	936.912	469.796	1540636
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	SAT	992.49	497.611	1540984
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf	SAT	1014.83	508.723	1539976
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	SAT	1024	513.628	1540990
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	SAT	1094.88	548.811	1540420
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	SAT	1144.62	573.868	1540588
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	SAT	1160.53	581.825	1540930

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

Result page for solver gNovelty+-V.2-T 2009-03-22 (incomplete)

Category "applications instances" (APPLICATION)

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

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

Solver didn't output a solution line and terminated with an unexpected exit code (15 runs) [Show/Hide]

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

Solver gave a wrong solution (3 runs) [Show/Hide]

Category "crafted instances" (CRAFTED)

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

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

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

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

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

Solver gave a wrong solution (8 runs) [Show/Hide]

Category "random instances" (RANDOM)

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

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