SAT 2009 Competition: minisat hack track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.33	0.328183	1849360
APPLICATIONS/bitverif/ minor/minor032.cnf	UNSAT	1.48	1.48568	1849557
een-tip-uns-nusmv-t5.B.cnf	UNSAT	1.78	1.778	1849458
manol-pipe-g6bi.cnf	UNSAT	1.89	1.89818	1849437
cmu-bmc-barrel6.cnf	UNSAT	2.71	2.70572	1849410
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	4.67	4.66494	1849544
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	UNSAT	5.06	5.08119	1849504
hoons-vbmc-lucky7.cnf	UNSAT	8.18	8.18335	1849416
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	UNSAT	9.97	9.96461	1849555
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	UNSAT	12.39	12.383	1849505
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	12.4	12.4119	1849364
manol-pipe-c9.cnf	UNSAT	14.03	14.0325	1849447
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	17.4	17.4125	1849363
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	17.8	17.8033	1849358
cmu-bmc-longmult15.cnf	UNSAT	20.03	20.0311	1849429
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	UNSAT	22.3	22.3009	1849552
velev-live-uns-2.0-ebuf.cnf	UNSAT	23.17	23.2072	1849454
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	23.67	23.6626	1849387
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	UNSAT	23.98	23.968	1849539
APPLICATIONS/bitverif/ smulo/smulo016.cnf	UNSAT	27.74	27.7386	1849541
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	27.75	27.7384	1849388
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	30	30.0219	1849400
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	UNSAT	34.49	35.2952	1849507
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	39.17	39.1736	1849549
manol-pipe-g7nidw.cnf	UNSAT	39.36	39.3575	1849460
APPLICATIONS/bitverif/ minor/minor064.cnf	UNSAT	48.4	48.3989	1849558
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	50.87	50.891	1849398
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	UNSAT	56.37	56.3685	1849568
simon-s03-fifo8-300.cnf	UNSAT	60.24	60.2339	1849451
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	61.28	61.3664	1849334
APPLICATIONS/ bitverif/maxand/maxand064.cnf	UNSAT	62.51	62.5459	1849535
velev-engi-uns-1.0-4nd.cnf	UNSAT	62.74	62.7407	1849421
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	UNSAT	67.15	67.1479	1849575
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	68.39	68.3983	1849380
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	UNSAT	76.52	76.5418	1849572
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	76.79	76.8251	1849396
manol-pipe-c6nidw_i.cnf	UNSAT	91.49	91.4859	1849457
APPLICATIONS/ bitverif/minand/minand128.cnf	UNSAT	105.96	105.953	1849547
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	UNSAT	106.41	106.4	1849624
schup-l2s-abp4-1-k31.cnf	UNSAT	107.16	107.142	1849411
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	UNSAT	107.97	107.967	1849498
manol-pipe-c6bidw_i.cnf	UNSAT	109.85	109.853	1849424
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	134.89	134.871	1849375
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	UNSAT	174.32	174.307	1849565
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	190.9	190.88	1849393
simon-s02b-dp11u10.cnf	UNSAT	215.12	215.164	1849438
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	224.11	224.193	1849506
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	260.09	260.176	1849582
manol-pipe-c10nidw_s.cnf	UNSAT	332.16	332.137	1849448
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	UNSAT	338.69	338.673	1849556
manol-pipe-c7bidw_i.cnf	UNSAT	362.4	362.366	1849456
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	UNSAT	500.47	500.471	1849591
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	UNSAT	512.76	512.741	1849530
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	UNSAT	538.04	538.013	1849519
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	UNSAT	557.89	557.932	1849502
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	UNSAT	576.1	576.045	1849390
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	UNSAT	580.66	580.627	1849512
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	UNSAT	589.38	589.362	1849559
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	UNSAT	600.12	600.077	1849520
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	UNSAT	625.72	625.662	1849515
goldb-heqc-alu4mul.cnf	UNSAT	630.23	630.177	1849433
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	UNSAT	662.75	662.722	1849584
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	703.15	703.096	1849528
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	875.77	875.743	1849510
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	UNSAT	948.03	947.977	1849561
schup-l2s-guid-1-k56.cnf	UNSAT	979.87	979.769	1849450
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	UNSAT	1147.65	1147.56	1849566

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.27	0.266673	1849432
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	0.31	0.30669	1849471
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	0.33	0.327645	1849464
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	0.39	0.390729	1849468
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	0.87	0.880223	1849462
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	1.21	1.20174	1849461
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	1.37	1.37288	1849472
APPLICATIONS/aprove09/ AProVE09-12.cnf	SAT	1.6	1.61041	1849470
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	1.76	1.76655	1849465
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	SAT	1.95	1.96004	1849517
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	2.19	2.19577	1849469
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	2.87	2.87158	1849610
APPLICATIONS/aprove09/ AProVE09-10.cnf	SAT	3.96	3.95838	1849463
APPLICATIONS/aprove09/ AProVE09-05.cnf	SAT	4.62	4.64108	1849474
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	4.88	4.87527	1849466
APPLICATIONS/aprove09/ AProVE09-15.cnf	SAT	6.33	6.35623	1849467
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	SAT	6.4	6.39853	1849522
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	6.52	6.53203	1849489
APPLICATIONS/aprove09/ AProVE09-06.cnf	SAT	6.78	6.81285	1849478
APPLICATIONS/aprove09/ AProVE09-21.cnf	SAT	7.78	7.81978	1849473
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	SAT	11.01	11.0264	1849526
APPLICATIONS/aprove09/ AProVE09-24.cnf	SAT	14.87	14.8651	1849475
APPLICATIONS/aprove09/ AProVE09-17.cnf	SAT	16.75	16.8472	1849477
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	20.66	20.699	1849604
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	26.02	26.0114	1849599
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	SAT	37.19	37.2251	1849573
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	39.75	39.7626	1849484
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	SAT	44.52	44.5119	1849533
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	SAT	52.95	52.971	1849523
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	53.04	53.1686	1849384
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	SAT	59.93	59.9367	1849532
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	SAT	82.42	82.411	1849525
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	83.09	83.0823	1849488
schup-l2s-motst-2-k315.cnf	SAT	102.34	102.349	1849419
industrial/grieu/ vmpc_24.cnf	SAT	109.68	109.667	1849337
simon-s03-w08-15.cnf	SAT	142.7	142.69	1849414
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	SAT	222.92	222.946	1849563
velev-pipe-sat-1.0-b10.cnf	SAT	232.05	243.253	1849449
velev-pipe-sat-1.0-b7.cnf	SAT	253.15	255.951	1849435
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	271.84	274.719	1849341
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	284.73	286.721	1849401
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	SAT	318.24	318.24	1849501
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	323.08	323.065	1849494
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	417.27	417.251	1849562
mizh-sha0-35-3.cnf	SAT	454.01	454.01	1849430
mizh-md5-47-3.cnf	SAT	476.68	476.649	1849409
mizh-sha0-36-2.cnf	SAT	730.09	730.041	1849439
mizh-md5-48-5.cnf	SAT	736.06	736.077	1849434
industrial/grieu/ vmpc_25.cnf	SAT	851.09	850.988	1849407
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	SAT	869.6	869.539	1849595
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	SAT	977.6	977.608	1849496
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	1093.28	1093.21	1849609
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	SAT	1126.04	1125.97	1849583

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200	1199.93	1849581
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200	1199.95	1849524
goldb-heqc-x1mul.cnf	? (TO)	1200	1199.92	1849408
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200	1199.95	1849371
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200	1199.94	1849578
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200	1199.93	1849585
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200	1199.93	1849374
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200	1199.94	1849350
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200	1199.94	1849391
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200	1199.93	1849381
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200	1200.07	1849444
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200	1200.65	1849395
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.01	1199.92	1849490
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.01	1199.93	1849491
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.01	1199.94	1849538
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.01	1199.93	1849606
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.01	1199.93	1849362
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.01	1199.93	1849527
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.01	1199.94	1849554
manol-pipe-f9n.cnf	? (TO)	1200.01	1199.93	1849455
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.01	1199.93	1849445
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.01	1199.93	1849339
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.01	1199.93	1849394
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.01	1199.93	1849370
goldb-heqc-term1mul.cnf	? (TO)	1200.01	1199.92	1849443
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.01	1199.91	1849376
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.01	1199.92	1849531
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.01	1199.94	1849551
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.01	1199.93	1849536
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.01	1199.93	1849574
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.01	1199.94	1849570
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.01	1199.95	1849441
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.01	1199.96	1849389
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.01	1199.94	1849564
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.01	1199.92	1849608
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.01	1199.93	1849548
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.01	1199.94	1849372
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.02	1199.93	1849480
manol-pipe-c10nid_i.cnf	? (TO)	1200.02	1199.93	1849431
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.02	1200.05	1849545
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.02	1199.95	1849336
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.02	1199.94	1849347
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.02	1199.94	1849348
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.02	1199.93	1849612
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.02	1199.92	1849356
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.02	1199.92	1849607
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.02	1199.94	1849600
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.02	1199.92	1849597
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.02	1199.93	1849368
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.02	1199.93	1849596
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.02	1199.93	1849377
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.02	1199.94	1849592
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.02	1199.94	1849446
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.02	1199.95	1849590
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.02	1199.95	1849588
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.02	1200.04	1849586
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.02	1199.93	1849576
industrial/grieu/ vmpc_26.cnf	? (TO)	1200.02	1199.92	1849344
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.02	1199.94	1849406
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.02	1199.94	1849567
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.02	1199.94	1849399
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.02	1199.93	1849560
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.02	1199.93	1849495
manol-pipe-g10nid.cnf	? (TO)	1200.02	1200.03	1849422
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.02	1199.93	1849514
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.03	1200.03	1849342
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.03	1199.93	1849373
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.03	1199.93	1849352
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.03	1199.93	1849355
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.03	1199.93	1849402
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.03	1199.93	1849405
industrial/narain/ clauses-8.cnf	? (TO)	1200.03	1200.25	1849353
mizh-sha0-36-3.cnf	? (TO)	1200.03	1199.95	1849415
goldb-heqc-dalumul.cnf	? (TO)	1200.03	1199.93	1849427
mizh-md5-47-4.cnf	? (TO)	1200.03	1199.94	1849428
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.03	1199.94	1849540
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.03	1199.93	1849518
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.03	1199.93	1849493
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.03	1199.93	1849483
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.03	1199.94	1849513
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.03	1199.93	1849499
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.03	1199.95	1849589
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.03	1199.95	1849601
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.03	1199.93	1849611
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.03	1199.92	1849616
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.03	1199.92	1849625
goldb-heqc-i10mul.cnf	? (TO)	1200.03	1199.93	1849436
manol-pipe-c7nidw.cnf	? (TO)	1200.03	1199.94	1849442
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.04	1200.04	1849392
goldb-heqc-frg1mul.cnf	? (TO)	1200.04	1200.03	1849412
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.04	1199.94	1849620
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.04	1199.94	1849343
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.04	1199.95	1849425
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.04	1200.23	1849482
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.05	1200.05	1849386
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.05	1199.92	1849383
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.05	1199.93	1849403
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.05	1199.95	1849580
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.05	1200.02	1849534
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.05	1199.92	1849486
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.05	1200.04	1849476
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.05	1199.95	1849594
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.05	1199.94	1849516
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.05	1199.93	1849503
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.05	1199.92	1849349
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.06	1199.94	1849345
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.06	1199.93	1849357
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.06	1199.92	1849369
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.06	1199.93	1849492
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.06	1200.03	1849385
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.06	1199.93	1849537
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.06	1199.95	1849459
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.06	1199.95	1849569
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.06	1200.03	1849571
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.06	1199.93	1849543
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.06	1200.05	1849587
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.06	1200.03	1849619
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.06	1199.92	1849378
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.06	1199.93	1849617
aloul-chnl11-13.cnf	? (TO)	1200.06	1199.92	1849426
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.06	1199.92	1849598
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.06	1199.94	1849365
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.07	1200.14	1849579
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.07	1199.93	1849340
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.07	1200.04	1849553
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.07	1199.93	1849529
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.07	1200.02	1849621
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.07	1200.04	1849417
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.07	1199.93	1849335
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.07	1199.94	1849603
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.07	1199.93	1849481
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.07	1200.14	1849338
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200.07	1210.23	1849382
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.07	1199.92	1849497
manol-pipe-f9b.cnf	? (TO)	1200.08	1200.03	1849418
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.08	1200.05	1849521
manol-pipe-c10nidw.cnf	? (TO)	1200.08	1199.95	1849420
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.08	1199.94	1849613
manol-pipe-f10ni.cnf	? (TO)	1200.09	1200.05	1849440
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.09	1200.03	1849413
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.09	1200.05	1849379
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.09	1200.05	1849593
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.09	1200.03	1849367
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.09	1200.03	1849366
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.09	1200.04	1849602
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.09	1200.03	1849614
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.09	1200.03	1849615
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.1	1200.02	1849359
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.1	1200.03	1849550
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.1	1200.04	1849479
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.1	1200.02	1849485
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.1	1200.03	1849487
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.1	1200.03	1849500
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.1	1200.03	1849509
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.1	1200.03	1849605
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.1	1200.04	1849404
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.1	1200.04	1849618
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.1	1200.04	1849361
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.1	1200.04	1849622
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.1	1200.03	1849623
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.1	1200.04	1849542
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.1	1200.05	1849511
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.1	1200.02	1849546
manol-pipe-g10id.cnf	? (TO)	1200.1	1200.03	1849453
manol-pipe-g10bidw.cnf	? (TO)	1200.11	1200.04	1849452
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.11	1200.05	1849577
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.11	1200.04	1849351
mizh-sha0-36-4.cnf	? (TO)	1200.11	1200.04	1849423
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.11	1200.04	1849346
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.11	1200.04	1849354

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	12.97	14.4491	1849508
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	1197.27	1199.05	1849397

SAT 2009 Competition: minisat hack track: benchmarks results per solver

Result page for solver minisat2 070721/core (complete)

Category "applications instances" (APPLICATION)

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

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

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

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