PB'12 competition: WBO track: benchmarks results per solver

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck60-L1_wcsp.wbo	OPTIMUM	2	1.05784	1.06089	3715466
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-saudiarabia_wcsp.wbo	OPTIMUM	0	2.04469	2.05118	3715468
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck60-L12_wcsp.wbo	OPTIMUM	6	2.80957	2.82341	3715465
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j903_10-unsat--soft-33-100-0.wbo	OPTIMUM	5	4.18436	4.19072	3715378
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck350l3_wcsp.wbo	OPTIMUM	0	4.6093	4.60906	3715464
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck350l2_wcsp.wbo	OPTIMUM	1	4.64729	4.8378	3715463
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck350_wcsp.wbo	OPTIMUM	2	5.18421	5.18594	3715462
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12023_3-unsat--soft-66-100-0.wbo	OPTIMUM	2	5.58815	5.59055	3715359
/PARTIAL-BIGINT-LIN/wcsp/ pedigree/normalized-eye_wcsp.wbo	OPTIMUM	1	8.30274	8.4628	3715460
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9035_1-unsat--soft-33-100-0.wbo	OPTIMUM	8	12.4441	12.5869	3715375
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-1_wcsp.wbo	OPTIMUM	0	48.0127	48.3687	3715471
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-0_wcsp.wbo	OPTIMUM	0	65.4281	66.7258	3715470
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9048_1-unsat--soft-33-100-0.wbo	OPTIMUM	10	592.743	595.775	3715379
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08c_wcsp.wbo	OPTIMUM	2120	1486.92	1489.04	3715429
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08ac_wcsp.wbo	OPTIMUM	2120	1488.5	1489.61	3715427

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-66-100-0.wbo	? (TO)	1286.07	1900.01	3715332
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-66-100-0.wbo	? (TO)	1644.17	1900.01	3715351
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9035_1-unsat--soft-66-100-0.wbo	? (TO)	1718.76	1900.02	3715376
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-412_wcsp.wbo	? (TO)	1800	1800.41	3715518
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub1-24_wcsp.wbo	? (TO)	1800	1800.32	3715394
/PARTIAL-BIGINT-LIN/wcsp/ driver/normalized-driverlog09_wcsp.wbo	? (TO)	1800	1800.32	3715431
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05c_wcsp.wbo	? (TO)	1800	1800.31	3715425
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4reduc_wcsp.wbo	? (TO)	1800.01	1800.32	3715400
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-16_wcsp.wbo	? (TO)	1800.01	1800.32	3715487
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub1_wcsp.wbo	? (TO)	1800.01	1800.62	3715403
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1401_wcsp.wbo	? (TO)	1800.01	1800.51	3715508
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph07_wcsp.wbo	? (TO)	1800.01	1802.72	3715436
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime03cc_wcsp.wbo	? (TO)	1800.01	1817.22	3715455
/PARTIAL-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6030_9-unsat--soft-33-100-0.wbo	? (TO)	1800.01	1800.81	3715368
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph05_wcsp.wbo	? (TO)	1800.01	1805.83	3715434
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02ac_wcsp.wbo	? (TO)	1800.02	1800.62	3715415
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07_10000_30r_wcsp.wbo	? (TO)	1800.02	1801.32	3715501
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-18reduc_wcsp.wbo	? (TO)	1800.02	1800.32	3715490
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-33-100-0.wbo	? (TO)	1800.02	1868.72	3715326
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-24_wcsp.wbo	? (TO)	1800.03	1800.42	3715495
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub4-22_wcsp.wbo	? (TO)	1800.03	1800.42	3715406
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1504_wcsp.wbo	? (TO)	1800.03	1800.41	3715513
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-507_wcsp.wbo	? (TO)	1800.03	1800.41	3715523
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck60-L2_wcsp.wbo	? (TO)	1800.03	1807.41	3715467
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-33-100-0.wbo	? (TO)	1800.03	1801.11	3715373
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime03bc_wcsp.wbo	? (TO)	1800.03	1815.12	3715453
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite02bc_wcsp.wbo	? (TO)	1800.04	1800.42	3715485
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub3_wcsp.wbo	? (TO)	1800.04	1801.32	3715397
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02bc_wcsp.wbo	? (TO)	1800.04	1800.41	3715416
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-33-100-0.wbo	? (TO)	1800.04	1814.72	3715331
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-33-100-0.wbo	? (TO)	1800.04	1800.71	3715372
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1405_wcsp.wbo	? (TO)	1800.04	1800.41	3715510
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-33-100-0.wbo	? (TO)	1800.04	1800.62	3715356
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06reduc_wcsp.wbo	? (TO)	1800.04	1800.42	3715500
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph11reducmore_wcsp.wbo	? (TO)	1800.04	1800.52	3715439
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo1_wcsp.wbo	? (TO)	1800.04	1800.74	3715546
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap112_wcsp.wbo	? (TO)	1800.04	1800.41	3715528
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap62_wcsp.wbo	? (TO)	1800.04	1800.41	3715540
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-33-100-0.wbo	? (TO)	1800.04	1802.31	3715350
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-33-100-0.wbo	? (TO)	1800.04	1804.92	3715345
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04cc_wcsp.wbo	? (TO)	1800.04	1800.41	3715422
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite01cc_wcsp.wbo	? (TO)	1800.04	1816.71	3715483
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-5_wcsp.wbo	? (TO)	1800.05	1800.42	3715525
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap73_wcsp.wbo	? (TO)	1800.05	1800.41	3715542
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1506_wcsp.wbo	? (TO)	1800.05	1800.4	3715514
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-33-100-0.wbo	? (TO)	1800.05	1800.82	3715337
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap64_wcsp.wbo	? (TO)	1800.05	1800.51	3715541
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4bc_wcsp.wbo	? (TO)	1800.05	1810.52	3715385
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-33-100-0.wbo	? (TO)	1800.05	1805.42	3715343
/PARTIAL-BIGINT-LIN/wcsp/academics/ normalized-warehouse1_wcsp.wbo	? (TO)	1800.05	1800.91	3715382
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08bc_wcsp.wbo	? (TO)	1800.05	1800.42	3715428
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlogs03_wcsp.wbo	? (TO)	1800.05	1800.41	3715432
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo3_wcsp.wbo	? (TO)	1800.05	1800.41	3715548
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02c_wcsp.wbo	? (TO)	1800.05	1800.42	3715417
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1407_wcsp.wbo	? (TO)	1800.05	1800.41	3715511
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9010_6-unsat--soft-33-100-0.wbo	? (TO)	1800.06	1800.81	3715370
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-66-100-0.wbo	? (TO)	1800.06	1805.52	3715342
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05bc_wcsp.wbo	? (TO)	1800.06	1800.62	3715424
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub1-20_wcsp.wbo	? (TO)	1800.06	1800.42	3715402
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-3_wcsp.wbo	? (TO)	1800.06	1802.71	3715473
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq5_wcsp.wbo	? (TO)	1800.06	1800.42	3715555
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog08cc_wcsp.wbo	? (TO)	1800.06	1800.62	3715430
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog02cc_wcsp.wbo	? (TO)	1800.06	1800.41	3715418
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-20_wcsp.wbo	? (TO)	1800.06	1800.42	3715491
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite02cc_wcsp.wbo	? (TO)	1800.06	1800.42	3715486
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite02ac_wcsp.wbo	? (TO)	1800.06	1800.41	3715484
/PARTIAL-BIGINT-LIN/wcsp/zenotravel/ normalized-zenotravel02c_wcsp.wbo	? (TO)	1800.06	1820.22	3715558
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap74_wcsp.wbo	? (TO)	1800.06	1800.41	3715543
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime04cc_wcsp.wbo	? (TO)	1800.06	1801.02	3715459
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-33-100-0.wbo	? (TO)	1800.06	1805.42	3715327
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-33-100-0.wbo	? (TO)	1800.07	1800.62	3715349
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmq1_wcsp.wbo	? (TO)	1800.07	1800.52	3715554
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub0_wcsp.wbo	? (TO)	1800.07	1800.42	3715393
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-503_wcsp.wbo	? (TO)	1800.07	1788.41	3715521
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap123_wcsp.wbo	? (TO)	1800.07	1800.41	3715531
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02c_wcsp.wbo	? (TO)	1800.07	1812.12	3715478
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph11reduc_wcsp.wbo	? (TO)	1800.07	1800.42	3715438
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl--soft-33-100-0.wbo	? (TO)	1800.07	1800.91	3715340
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5c_wcsp.wbo	? (TO)	1800.07	1800.41	3715390
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-66-100-0.wbo	? (TO)	1800.08	1800.51	3715355
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-30_wcsp.wbo	? (TO)	1800.08	1800.41	3715497
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4cc_wcsp.wbo	? (TO)	1800.08	1800.92	3715387
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12041_4-unsat--soft-33-100-0.wbo	? (TO)	1800.08	1800.62	3715364
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12027_7-unsat--soft-66-100-0.wbo	? (TO)	1800.08	1800.41	3715363
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-66-100-0.wbo	? (TO)	1800.08	1800.82	3715338
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-33-100-0.wbo	? (TO)	1800.08	1800.61	3715348
/PARTIAL-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6033_2-unsat--soft-33-100-0.wbo	? (TO)	1800.08	1801.21	3715369
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub2_wcsp.wbo	? (TO)	1800.08	1800.42	3715404
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-33-100-0.wbo	? (TO)	1800.08	1801.22	3715341
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-22reduc_wcsp.wbo	? (TO)	1800.08	1800.42	3715494
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub4_wcsp.wbo	? (TO)	1800.08	1800.42	3715407
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-20reduc_wcsp.wbo	? (TO)	1800.08	1800.42	3715492
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp1_wcsp.wbo	? (TO)	1800.08	1800.52	3715550
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02bc_wcsp.wbo	? (TO)	1800.08	1822.52	3715477
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck1000_wcsp.wbo	? (TO)	1800.08	1801.21	3715461
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1502_wcsp.wbo	? (TO)	1800.08	1832.52	3715512
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-414_wcsp.wbo	? (TO)	1800.08	1800.52	3715519
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-28_wcsp.wbo	? (TO)	1800.08	1800.42	3715515
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04c_wcsp.wbo	? (TO)	1800.08	1800.41	3715421
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub1_wcsp.wbo	? (TO)	1800.08	1800.42	3715395
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap61_wcsp.wbo	? (TO)	1800.08	1800.41	3715539
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo2_wcsp.wbo	? (TO)	1800.08	1800.41	3715547
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlogs06_wcsp.wbo	? (TO)	1800.08	1800.41	3715433
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5cc_wcsp.wbo	? (TO)	1800.09	1800.41	3715391
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4_wcsp.wbo	? (TO)	1800.09	1800.63	3715399
/PARTIAL-BIGINT-LIN/wcsp/depot/ normalized-depot01c_wcsp.wbo	? (TO)	1800.09	1815.61	3715410
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv14.ucl--soft-66-100-0.wbo	? (TO)	1800.09	1800.41	3715336
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel04bc_wcsp.wbo	? (TO)	1800.09	1800.41	3715561
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv12.ucl--soft-66-100-0.wbo	? (TO)	1800.09	1800.62	3715334
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-16reduc_wcsp.wbo	? (TO)	1800.09	1800.42	3715488
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-33-100-0.wbo	? (TO)	1800.09	1801.01	3715347
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp3_wcsp.wbo	? (TO)	1800.09	1800.62	3715552
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub4-20_wcsp.wbo	? (TO)	1800.09	1800.41	3715398
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime04bc_wcsp.wbo	? (TO)	1800.09	1800.42	3715457
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime01cc_wcsp.wbo	? (TO)	1800.09	1812.91	3715451
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt6_wcsp.wbo	? (TO)	1800.09	1800.42	3715392
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-33-100-0.wbo	? (TO)	1800.09	1800.41	3715354
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12041_4-unsat--soft-66-100-0.wbo	? (TO)	1800.09	1800.51	3715365
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-22_wcsp.wbo	? (TO)	1800.09	1800.42	3715493
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap132_wcsp.wbo	? (TO)	1800.09	1800.41	3715534
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-30reduc_wcsp.wbo	? (TO)	1800.09	1800.41	3715498
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap114_wcsp.wbo	? (TO)	1800.09	1800.41	3715530
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-33-100-0.wbo	? (TO)	1800.1	1806.91	3715339
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12023_3-unsat--soft-33-100-0.wbo	? (TO)	1800.1	1829.22	3715358
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp2_wcsp.wbo	? (TO)	1800.1	1800.62	3715551
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub3_wcsp.wbo	? (TO)	1800.1	1800.42	3715405
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05cc_wcsp.wbo	? (TO)	1800.1	1800.41	3715426
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap113_wcsp.wbo	? (TO)	1800.1	1800.41	3715529
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-66-100-0.wbo	? (TO)	1800.1	1801.82	3715328
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel02bc_wcsp.wbo	? (TO)	1800.1	1850.12	3715557
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-1403_wcsp.wbo	? (TO)	1800.1	1800.62	3715509
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt3cc_wcsp.wbo	? (TO)	1800.1	1844.72	3715384
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap43_wcsp.wbo	? (TO)	1800.1	1800.41	3715537
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap131_wcsp.wbo	? (TO)	1800.1	1800.41	3715533
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar6-sub2_wcsp.wbo	? (TO)	1800.1	1800.65	3715396
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmp4_wcsp.wbo	? (TO)	1800.1	1800.51	3715553
/PARTIAL-BIGINT-LIN/wcsp/celar/ normalized-celar7-sub0_wcsp.wbo	? (TO)	1800.1	1800.72	3715401
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5ac_wcsp.wbo	? (TO)	1800.1	1800.61	3715388
/PARTIAL-BIGINT-LIN/wcsp/ scens/normalized-scen06-18_wcsp.wbo	? (TO)	1800.1	1800.42	3715489
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-66-100-0.wbo	? (TO)	1800.1	1800.51	3715357
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-42_wcsp.wbo	? (TO)	1800.11	1800.41	3715520
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-509_wcsp.wbo	? (TO)	1800.11	1800.72	3715524
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt5bc_wcsp.wbo	? (TO)	1800.11	1800.42	3715389
/PARTIAL-BIGINT-LIN/wcsp/ depot/normalized-depot01ac_wcsp.wbo	? (TO)	1800.11	1816.02	3715408
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap124_wcsp.wbo	? (TO)	1800.11	1800.41	3715532
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel04cc_wcsp.wbo	? (TO)	1800.11	1800.42	3715563
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12026_5-unsat--soft-33-100-0.wbo	? (TO)	1800.11	1800.51	3715360
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap42_wcsp.wbo	? (TO)	1800.11	1800.51	3715536
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap101_wcsp.wbo	? (TO)	1800.11	1800.41	3715526
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r-4-2_wcsp.wbo	? (TO)	1800.11	1800.41	3715472
/PARTIAL-BIGINT-LIN/wcsp/mprime/ normalized-mprime03c_wcsp.wbo	? (TO)	1800.11	1813.52	3715454
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap103_wcsp.wbo	? (TO)	1800.11	1800.41	3715527
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap44_wcsp.wbo	? (TO)	1800.11	1800.41	3715538
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap81_wcsp.wbo	? (TO)	1800.11	1800.41	3715544
/PARTIAL-BIGINT-LIN/wcsp/zenotravel/ normalized-zenotravel04c_wcsp.wbo	? (TO)	1800.12	1800.41	3715562
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel04ac_wcsp.wbo	? (TO)	1800.12	1800.41	3715560
/PARTIAL-BIGINT-LIN/wcsp/mprime/ normalized-mprime04c_wcsp.wbo	? (TO)	1800.12	1800.42	3715458
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel02ac_wcsp.wbo	? (TO)	1800.12	1830.72	3715556
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-408_wcsp.wbo	? (TO)	1800.12	1800.41	3715517
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12027_7-unsat--soft-33-100-0.wbo	? (TO)	1800.12	1800.41	3715362
/PARTIAL-BIGINT-LIN/wcsp/ academics/normalized-slangford-3-11_wcsp.wbo	? (TO)	1800.12	1800.41	3715381
/PARTIAL-BIGINT-LIN/wcsp/ depot/normalized-depot01bc_wcsp.wbo	? (TO)	1800.12	1817.12	3715409
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12026_5-unsat--soft-66-100-0.wbo	? (TO)	1800.12	1800.41	3715361
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv14.ucl--soft-33-100-0.wbo	? (TO)	1800.12	1800.41	3715335
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04bc_wcsp.wbo	? (TO)	1800.12	1800.41	3715420
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog04ac_wcsp.wbo	? (TO)	1800.12	1800.42	3715419
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv12.ucl--soft-33-100-0.wbo	? (TO)	1800.12	1800.41	3715333
/PARTIAL-BIGINT-LIN/wcsp/ spot5/normalized-spot5-505_wcsp.wbo	? (TO)	1800.12	1800.41	3715522
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap134_wcsp.wbo	? (TO)	1800.12	1800.41	3715535
/PARTIAL-BIGINT-LIN/wcsp/spot5/ normalized-spot5-29_wcsp.wbo	? (TO)	1800.12	1804.11	3715516
/PARTIAL-BIGINT-LIN/wcsp/ depot/normalized-depot01cc_wcsp.wbo	? (TO)	1800.13	1816.02	3715411
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime04ac_wcsp.wbo	? (TO)	1800.13	1800.42	3715456
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-24reduc_wcsp.wbo	? (TO)	1800.13	1800.41	3715496
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-cap82_wcsp.wbo	? (TO)	1800.13	1800.41	3715545
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime01ac_wcsp.wbo	? (TO)	1800.13	1798.21	3715448
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog05ac_wcsp.wbo	? (TO)	1800.13	1800.41	3715423
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog01c_wcsp.wbo	? (TO)	1800.14	1816.62	3715413
/PARTIAL-BIGINT-LIN/wcsp/warehouse/ normalized-capmo4_wcsp.wbo	? (TO)	1800.15	1800.51	3715549
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite01ac_wcsp.wbo	? (TO)	1800.15	1801.62	3715480
/PARTIAL-BIGINT-LIN/wcsp/ satellite/normalized-satellite01bc_wcsp.wbo	? (TO)	1800.15	1816.02	3715481
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime03ac_wcsp.wbo	? (TO)	1800.15	1819.82	3715452
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02cc_wcsp.wbo	? (TO)	1800.17	1804.91	3715479
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j1205_1-unsat--soft-33-100-0.wbo	? (TO)	1800.18	1799.32	3715366
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt3c_wcsp.wbo	? (TO)	1800.18	1818.91	3715383
/PARTIAL-BIGINT-LIN/wcsp/bwt/ normalized-bwt4c_wcsp.wbo	? (TO)	1800.18	1803.41	3715386
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9039_3-unsat--soft-33-100-0.wbo	? (TO)	1800.18	1857.52	3715377
/PARTIAL-BIGINT-LIN/wcsp/ logistics/normalized-logistics01cc_wcsp.wbo	? (TO)	1800.18	1802.83	3715447
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9012_2-unsat--soft-33-100-0.wbo	? (TO)	1800.2	1772.02	3715371
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog01cc_wcsp.wbo	? (TO)	1800.24	1806.61	3715414
/PARTIAL-BIGINT-LIN/wcsp/satellite/ normalized-satellite01c_wcsp.wbo	? (TO)	1800.25	1809.41	3715482
/PARTIAL-BIGINT-LIN/wcsp/ rover/normalized-rovers02ac_wcsp.wbo	? (TO)	1800.25	1821.01	3715476
/PARTIAL-BIGINT-LIN/wcsp/logistics/ normalized-logistics01c_wcsp.wbo	? (TO)	1800.28	1801.72	3715446
/PARTIAL-BIGINT-LIN/wcsp/ logistics/normalized-logistics01ac_wcsp.wbo	? (TO)	1800.28	1810.51	3715444
/PARTIAL-BIGINT-LIN/wcsp/ zenotravel/normalized-zenotravel02cc_wcsp.wbo	? (TO)	1800.3	1829.23	3715559
/PARTIAL-BIGINT-LIN/wcsp/ logistics/normalized-logistics01bc_wcsp.wbo	? (TO)	1800.32	1802.82	3715445
/PARTIAL-BIGINT-LIN/wcsp/driver/ normalized-driverlog01bc_wcsp.wbo	? (TO)	1800.32	1815.02	3715412
/PARTIAL-BIGINT-LIN/PB10/oliveras/j120/ normalized-j1205_1-unsat--soft-66-100-0.wbo	? (TO)	1800.37	1845.01	3715367
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j907_8-unsat--soft-33-100-0.wbo	? (TO)	1800.4	1870.52	3715380
/PARTIAL-BIGINT-LIN/wcsp/ mprime/normalized-mprime01bc_wcsp.wbo	? (TO)	1800.41	1797.12	3715449
/PARTIAL-BIGINT-LIN/wcsp/mprime/ normalized-mprime01c_wcsp.wbo	? (TO)	1800.5	1824.52	3715450
/PARTIAL-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9028_2-unsat--soft-33-100-0.wbo	? (TO)	1800.97	1884.32	3715374

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06_wcsp.wbo	? (MO)	152.38	152.72	3715499
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07reduc_wcsp.wbo	? (MO)	155	174.42	3715503
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen09_wcsp.wbo	? (MO)	180.53	229.679	3715506
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4nr_wcsp.wbo	? (MO)	426.42	426.921	3715469
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-sheep4r_wcsp.wbo	? (MO)	435.55	435.927	3715474

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen10_wcsp.wbo	? (problem)	148.405	393.661	3715507
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13reducmore_wcsp.wbo	? (problem)	152.296	406.978	3715443
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13reduc_wcsp.wbo	? (problem)	156.79	406.403	3715442
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen08reduc_wcsp.wbo	? (problem)	165.516	394.452	3715505
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph12_wcsp.wbo	? (problem)	178.236	406.902	3715440
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph06_wcsp.wbo	? (problem)	187.902	448.405	3715435
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph13_wcsp.wbo	? (problem)	194.278	426.332	3715441
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen08_wcsp.wbo	? (problem)	197.894	418.117	3715504
/PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph11_wcsp.wbo	? (problem)	213.222	430.816	3715437
/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen07_wcsp.wbo	? (problem)	229.555	491.264	3715502

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-wijsmanguo_wcsp.wbo	Wrong Opt.	2	126.579	130.07	3715475

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-66-100-0.wbo	Wrong Cert.	82.8744	84.0762	3715330
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-33-100-0.wbo	Wrong Cert.	84.8991	85.2288	3715329
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-66-100-0.wbo	Wrong Cert.	129.033	129.319	3715353
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-33-100-0.wbo	Wrong Cert.	133.138	137.49	3715352
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-66-100-0.wbo	Wrong Cert.	154.778	155.894	3715344
/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-66-100-0.wbo	Wrong Cert.	219.138	219.551	3715346

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-4wqueens_wcsp.wbo	OPTIMUM	0	0.019996	0.0193359	3715746
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-8queens_wcsp.wbo	OPTIMUM	0	0.023996	0.0304751	3715747
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-2-4_wcsp.wbo	OPTIMUM	0	0.026995	0.0268719	3715750
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-4queens_wcsp.wbo	OPTIMUM	0	0.026995	0.0267891	3715745
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois21_ext.wbo	OPTIMUM	1	0.029994	0.0324351	3715783
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois29_ext.wbo	OPTIMUM	1	0.030994	0.033638	3715791
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_75_ext.wbo	OPTIMUM	1	0.032994	0.033723	3715801
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois24_ext.wbo	OPTIMUM	1	0.032994	0.036711	3715786
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois25_ext.wbo	OPTIMUM	1	0.032994	0.034403	3715787
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois27_ext.wbo	OPTIMUM	1	0.033994	0.0345959	3715789
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_40_ext.wbo	OPTIMUM	1	0.034994	0.0337981	3715799
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois23_ext.wbo	OPTIMUM	1	0.035994	0.032322	3715785
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois20_ext.wbo	OPTIMUM	1	0.035994	0.035953	3715782
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-queen5-5-5_wcsp.wbo	OPTIMUM	0	0.036993	0.0396089	3715778
/PARTIAL-SMALLINT-LIN/wcsp/ pedigree/normalized-sobel_wcsp.wbo	OPTIMUM	0	0.036994	0.0377419	3715836
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_60_ext.wbo	OPTIMUM	1	0.037993	0.034595	3715800
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret60_25_ext.wbo	OPTIMUM	1	0.037994	0.035917	3715798
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois22_ext.wbo	OPTIMUM	1	0.039993	0.037436	3715784
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-zebre-ext_wcsp.wbo	OPTIMUM	0	0.043992	0.046108	3715756
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois30_ext.wbo	OPTIMUM	1	0.045992	0.0473361	3715792
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-6_wcsp.wbo	OPTIMUM	0	0.046992	0.0494321	3715762
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-5_wcsp.wbo	OPTIMUM	1	0.048991	0.052158	3715761
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois28_ext.wbo	OPTIMUM	1	0.048992	0.0437189	3715790
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/ normalized-simple_wcsp.wbo	OPTIMUM	1	0.049992	0.0587869	3715835
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh210_wcsp.wbo	OPTIMUM	0	0.05599	0.0578839	3715820
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois26_ext.wbo	OPTIMUM	1	0.05599	0.0541031	3715788
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_40_ext.wbo	OPTIMUM	1	0.05699	0.0612151	3715795
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh217_wcsp.wbo	OPTIMUM	0	0.05899	0.0602571	3715825
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-5_wcsp.wbo	OPTIMUM	1	0.062989	0.0639341	3715766
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_60_ext.wbo	OPTIMUM	1	0.063989	0.0692131	3715796
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-4_wcsp.wbo	OPTIMUM	3	0.066989	0.0680519	3715765
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-6_wcsp.wbo	OPTIMUM	0	0.077987	0.0784389	3715775
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh220_wcsp.wbo	OPTIMUM	0	0.080987	0.0568	3715827
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_25_ext.wbo	OPTIMUM	1	0.081987	0.0865751	3715794
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-6_wcsp.wbo	OPTIMUM	0	0.083986	0.0543909	3715767
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-pret150_75_ext.wbo	OPTIMUM	1	0.084986	0.278081	3715797
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois50_ext.wbo	OPTIMUM	1	0.088985	0.088542	3715793
/PARTIAL-SMALLINT-LIN/wcsp/pedigree/ normalized-connell_wcsp.wbo	OPTIMUM	1	0.094985	0.08876	3715834
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-ssa0432-003_ext.wbo	OPTIMUM	1	0.110983	0.116907	3715802
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-ssa2670-141_ext.wbo	OPTIMUM	1	0.167974	0.169301	3715803
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-bf0432-007_ext.wbo	OPTIMUM	1	0.237963	0.238097	3715779
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-bf2670-001_ext.wbo	OPTIMUM	1	0.245962	0.248226	3715780
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-4_wcsp.wbo	OPTIMUM	4	0.272957	0.274598	3715760
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-3_wcsp.wbo	OPTIMUM	7	0.558914	0.559465	3715764
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-zebra_wcsp.wbo	OPTIMUM	0	1.22881	1.23064	3715755
/PARTIAL-SMALLINT-LIN/wcsp/ academics/normalized-send_wcsp.wbo	OPTIMUM	0	1.26581	1.26789	3715753
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom40-2_wcsp.wbo	OPTIMUM	22	1.2918	1.28814	3715763
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-warehouse0_wcsp.wbo	OPTIMUM	328	2.06569	2.06739	3715754
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-donald_wcsp.wbo	OPTIMUM	0	3.23251	3.23786	3715749
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j606_1-unsat--soft-33-100-0.wbo	OPTIMUM	3	4.35834	4.35935	3715736
/PARTIAL-SMALLINT-LIN/wcsp/dimacs/ normalized-dubois100_ext.wbo	OPTIMUM	1	10.0895	10.1065	3715781
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-66-100-0.wbo	OPTIMUM	24	10.4144	10.4143	3715726
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-geom30a-3_wcsp.wbo	OPTIMUM	11	11.6272	11.71	3715759
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-33-100-0.wbo	OPTIMUM	6	11.9862	11.9885	3715731
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6033_2-unsat--soft-66-100-0.wbo	OPTIMUM	51	35.3216	35.3238	3715730
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-dsjc125-1-5_wcsp.wbo	OPTIMUM	0	39.382	39.4312	3715758
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9039_3-unsat--soft-66-100-0.wbo	OPTIMUM	42	72.7659	72.8016	3715741
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9012_2-unsat--soft-66-100-0.wbo	OPTIMUM	54	356.863	357.234	3715737
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-5_wcsp.wbo	OPTIMUM	1	455.443	455.537	3715774
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-queen5-5-4_wcsp.wbo	OPTIMUM	12	731.03	731.164	3715777

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-33-100-0.wbo	? (TO)	1578.76	1900.01	3715687
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1612.28	1900.03	3715566
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1613.54	1900.01	3715588
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-66-100-0.wbo	? (TO)	1703.83	1900.01	3715691
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-33-100-0.wbo	? (TO)	1726.03	1900.01	3715714
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl--soft-33-100-0.wbo	? (TO)	1751.16	1900.01	3715690
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-33-100-0.wbo	? (TO)	1754.82	1900.01	3715704
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j308_1-unsat--soft-33-100-0.wbo	? (TO)	1758.88	1900.02	3715721
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1772.31	1900.02	3715576
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-33-100-0.wbo	? (TO)	1772.54	1900.02	3715727
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-66-100-0.wbo	? (TO)	1782.34	1900.01	3715621
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh15_wcsp.wbo	? (TO)	1785.54	1900.02	3715813
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh09_wcsp.wbo	? (TO)	1789.45	1900.03	3715808
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6030_9-unsat--soft-66-100-0.wbo	? (TO)	1800	1800.82	3715729
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo	? (TO)	1800.01	1801.01	3715655
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-33-100-0.wbo	? (TO)	1800.02	1803.31	3715712
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo	? (TO)	1800.04	1798.81	3715662
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo	? (TO)	1800.04	1801.82	3715665
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-8wqueens_wcsp.wbo	? (TO)	1800.04	1865.51	3715748
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo	? (TO)	1800.04	1801.82	3715675
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo	? (TO)	1800.04	1797.91	3715683
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_1-unsat--soft-66-100-0.wbo	? (TO)	1800.04	1806.61	3715734
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_10-unsat--soft-33-100-0.wbo	? (TO)	1800.04	1801.11	3715735
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.04	1800.91	3715564
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh06_wcsp.wbo	? (TO)	1800.05	1807.91	3715806
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.05	1815.31	3715571
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo	? (TO)	1800.05	1800.81	3715672
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552288--soft-66-100-0.wbo	? (TO)	1800.05	1801.51	3715597
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576927--soft-33-100-0.wbo	? (TO)	1800.05	1800.81	3715616
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900563250--soft-66-100-0.wbo	? (TO)	1800.05	1799.51	3715604
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_40_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.05	1801.31	3715582
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.05	1804.31	3715570
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-66-100-0.wbo	? (TO)	1800.05	1836.02	3715607
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.05	1818.51	3715573
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-66-100-0.wbo	? (TO)	1800.05	1806.51	3715705
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-le450-5a-2_wcsp.wbo	? (TO)	1800.06	1800.41	3715768
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh16_wcsp.wbo	? (TO)	1800.06	1811.01	3715814
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh18_wcsp.wbo	? (TO)	1800.06	1824.92	3715815
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-33-100-0.wbo	? (TO)	1800.06	1844.82	3715725
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl--soft-33-100-0.wbo	? (TO)	1800.06	1805.91	3715702
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-33-100-0.wbo	? (TO)	1800.06	1800.51	3715608
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-33-100-0.wbo	? (TO)	1800.06	1800.51	3715677
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo	? (TO)	1800.06	1800.51	3715623
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo	? (TO)	1800.06	1812.91	3715598
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh11_wcsp.wbo	? (TO)	1800.06	1805.22	3715810
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-66-100-0.wbo	? (TO)	1800.06	1800.61	3715738
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.06	1800.51	3715572
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.06	1800.81	3715567
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo	? (TO)	1800.06	1833.22	3715696
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-33-100-0.wbo	? (TO)	1800.06	1838.41	3715684
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217555--soft-33-100-0.wbo	? (TO)	1800.06	1815.02	3715636
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh214_wcsp.wbo	? (TO)	1800.06	1798.52	3715823
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-33-100-0.wbo	? (TO)	1800.06	1878.82	3715709
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo	? (TO)	1800.06	1811.81	3715708
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-33-100-0.wbo	? (TO)	1800.06	1803.41	3715710
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-33-100-0.wbo	? (TO)	1800.06	1749.72	3715625
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900544484--soft-33-100-0.wbo	? (TO)	1800.07	1803.51	3715594
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-66-100-0.wbo	? (TO)	1800.07	1800.71	3715739
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-66-100-0.wbo	? (TO)	1800.07	1800.41	3715612
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo	? (TO)	1800.07	1801.71	3715676
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-66-100-0.wbo	? (TO)	1800.07	1813.51	3715656
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-66-100-0.wbo	? (TO)	1800.07	1800.51	3715717
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558106--soft-66-100-0.wbo	? (TO)	1800.07	1800.41	3715602
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo	? (TO)	1800.07	1804.82	3715693
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900561288--soft-33-100-0.wbo	? (TO)	1800.07	1864.72	3715603
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo	? (TO)	1800.07	1898.42	3715694
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo	? (TO)	1800.07	1819.31	3715644
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-54_wcsp.wbo	? (TO)	1800.07	1808.42	3715838
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo	? (TO)	1800.07	1800.51	3715619
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670167--soft-33-100-0.wbo	? (TO)	1800.07	1800.51	3715622
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-33-100-0.wbo	? (TO)	1800.07	1800.82	3715669
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-66-100-0.wbo	? (TO)	1800.08	1873.41	3715713
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-33-100-0.wbo	? (TO)	1800.08	1802.82	3715630
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-404_wcsp.wbo	? (TO)	1800.08	1811.41	3715837
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j309_10-unsat--soft-66-100-0.wbo	? (TO)	1800.08	1785.01	3715722
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-33-100-0.wbo	? (TO)	1800.08	1813.01	3715679
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3046_4-unsat--soft-66-100-0.wbo	? (TO)	1800.08	1827.51	3715720
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo	? (TO)	1800.08	1798.41	3715629
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j605_1-unsat--soft-33-100-0.wbo	? (TO)	1800.08	1800.72	3715733
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-66-100-0.wbo	? (TO)	1800.08	1804.38	3715654
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh212_wcsp.wbo	? (TO)	1800.08	1824.22	3715822
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226368--soft-33-100-0.wbo	? (TO)	1800.08	1818.21	3715650
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.08	1804.21	3715575
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh306_wcsp.wbo	? (TO)	1800.08	1814.01	3715830
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.09	1816.51	3715581
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550006--soft-66-100-0.wbo	? (TO)	1800.09	1809.42	3715596
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-66-100-0.wbo	? (TO)	1800.09	1819.72	3715689
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo	? (TO)	1800.09	1800.41	3715605
/PARTIAL-SMALLINT-LIN/wcsp/spot5/ normalized-spot5-8_wcsp.wbo	? (TO)	1800.09	1836.81	3715839
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227861--soft-33-100-0.wbo	? (TO)	1800.09	1808.21	3715653
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-4_wcsp.wbo	? (TO)	1800.09	1800.21	3715773
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo	? (TO)	1800.09	1829.22	3715601
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-33-100-0.wbo	? (TO)	1800.09	1887.71	3715723
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-33-100-0.wbo	? (TO)	1800.1	1802.11	3715634
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-33-100-0.wbo	? (TO)	1800.1	1800.41	3715609
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo	? (TO)	1800.1	1831.11	3715618
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.1	1800.71	3715568
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.1	1801.11	3715587
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo	? (TO)	1800.1	1802.41	3715678
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-33-100-0.wbo	? (TO)	1800.1	1803.02	3715707
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.1	1822.72	3715593
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-66-100-0.wbo	? (TO)	1800.1	1819.21	3715659
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo	? (TO)	1800.1	1800.61	3715620
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-66-100-0.wbo	? (TO)	1800.1	1815.41	3715633
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-66-100-0.wbo	? (TO)	1800.1	1810.81	3715681
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-33-100-0.wbo	? (TO)	1800.1	1810.41	3715716
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-33-100-0.wbo	? (TO)	1800.1	1807.91	3715706
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-33-100-0.wbo	? (TO)	1800.1	1804.41	3715703
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo	? (TO)	1800.11	1801.41	3715657
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.11	1795.91	3715583
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-66-100-0.wbo	? (TO)	1800.11	1856.61	3715635
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-16wqueens_wcsp.wbo	? (TO)	1800.11	1800.92	3715744
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.11	1800.81	3715579
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-66-100-0.wbo	? (TO)	1800.11	1796.61	3715643
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571132--soft-33-100-0.wbo	? (TO)	1800.12	1800.41	3715611
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.12	1802.31	3715592
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.12	1811.72	3715584
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo	? (TO)	1800.12	1804.51	3715674
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-66-100-0.wbo	? (TO)	1800.12	1803.61	3715649
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.12	1802.92	3715591
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.12	1800.81	3715589
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo	? (TO)	1800.12	1795.41	3715680
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-dsjc125-1-4_wcsp.wbo	? (TO)	1800.12	1800.41	3715757
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh215_wcsp.wbo	? (TO)	1800.12	1817.92	3715824
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh307_wcsp.wbo	? (TO)	1800.12	1803.91	3715831
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j903_10-unsat--soft-66-100-0.wbo	? (TO)	1800.12	1827.82	3715742
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218757--soft-66-100-0.wbo	? (TO)	1800.12	1802.21	3715639
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-33-100-0.wbo	? (TO)	1800.12	1809.81	3715624
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-le450-5a-4_wcsp.wbo	? (TO)	1800.12	1800.41	3715770
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-le450-5a-5_wcsp.wbo	? (TO)	1800.12	1800.41	3715771
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh13_wcsp.wbo	? (TO)	1800.12	1818.61	3715811
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-3-9_wcsp.wbo	? (TO)	1800.12	1800.41	3715752
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-66-100-0.wbo	? (TO)	1800.12	1804.41	3715628
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.13	1806.51	3715590
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo	? (TO)	1800.13	1809.52	3715600
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40--soft-66-100-0.wbo	? (TO)	1800.13	1814.11	3715666
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo	? (TO)	1800.13	1798.42	3715673
/PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-3-11_wcsp.wbo	? (TO)	1800.13	1800.41	3715751
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-33-100-0.wbo	? (TO)	1800.13	1805.81	3715646
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226680--soft-66-100-0.wbo	? (TO)	1800.13	1808.71	3715651
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-33-100-0.wbo	? (TO)	1800.13	1801.91	3715667
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900576151--soft-33-100-0.wbo	? (TO)	1800.13	1783.91	3715615
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh310_wcsp.wbo	? (TO)	1800.13	1801.92	3715833
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl--soft-33-100-0.wbo	? (TO)	1800.13	1836.62	3715688
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.13	1815.01	3715577
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh01_wcsp.wbo	? (TO)	1800.13	1821.52	3715804
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-le450-5a-3_wcsp.wbo	? (TO)	1800.13	1800.41	3715769
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-queen5-5-3_wcsp.wbo	? (TO)	1800.13	1800.11	3715776
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-35-30--soft-33-100-0.wbo	? (TO)	1800.13	1800.62	3715663
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo	? (TO)	1800.14	1805.71	3715640
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.14	1828.41	3715569
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh211_wcsp.wbo	? (TO)	1800.14	1813.92	3715821
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.14	1811.62	3715586
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-25s.smv--soft-33-100-0.wbo	? (TO)	1800.14	1805.91	3715685
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567135--soft-33-100-0.wbo	? (TO)	1800.14	1801.01	3715606
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-66-100-0.wbo	? (TO)	1800.14	1838.51	3715715
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo	? (TO)	1800.14	1805.81	3715626
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo	? (TO)	1800.15	1806.81	3715641
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem.ucl--soft-66-100-0.wbo	? (TO)	1800.16	1857.1	3715701
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-66-100-0.wbo	? (TO)	1800.16	1880.72	3715732
/PARTIAL-SMALLINT-LIN/wcsp/coloring/ normalized-myciel5g-3_wcsp.wbo	? (TO)	1800.16	1800.48	3715772
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969577--soft-33-100-0.wbo	? (TO)	1800.16	1811.81	3715627
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh305_wcsp.wbo	? (TO)	1800.16	1800.62	3715829
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh04_wcsp.wbo	? (TO)	1800.17	1802.62	3715805
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl--soft-66-100-0.wbo	? (TO)	1800.18	1801.73	3715692
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo	? (TO)	1800.18	1813.01	3715648
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh203_wcsp.wbo	? (TO)	1800.18	1812.02	3715817
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-66-100-0.wbo	? (TO)	1800.18	1836.22	3715728
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973364--soft-33-100-0.wbo	? (TO)	1800.18	1804.61	3715631
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900547389--soft-33-100-0.wbo	? (TO)	1800.18	1800.46	3715595
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.18	1802.92	3715585
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh309_wcsp.wbo	? (TO)	1800.19	1813.82	3715832
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-33-100-0.wbo	? (TO)	1800.19	1798.91	3715578
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-66-100-0.wbo	? (TO)	1800.2	1892.61	3715724
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-37s.smv--soft-33-100-0.wbo	? (TO)	1800.2	1819.31	3715686
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223004--soft-66-100-0.wbo	? (TO)	1800.2	1813.01	3715647
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh205_wcsp.wbo	? (TO)	1800.2	1812.21	3715818
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-66-100-0.wbo	? (TO)	1800.21	1802.71	3715658
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo	? (TO)	1800.21	1805.52	3715661
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-66-100-0.wbo	? (TO)	1800.23	1866.51	3715711
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900581320--soft-33-100-0.wbo	? (TO)	1800.23	1803.92	3715617
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo	? (TO)	1800.24	1803.92	3715668
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.25	1803.31	3715565
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh14_wcsp.wbo	? (TO)	1800.26	1831.21	3715812
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo	? (TO)	1800.26	1804.32	3715637
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo	? (TO)	1800.27	1804.87	3715632
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh218_wcsp.wbo	? (TO)	1800.28	1861.81	3715826
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh07_wcsp.wbo	? (TO)	1800.28	1842.12	3715807
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh10_wcsp.wbo	? (TO)	1800.28	1837.91	3715809
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j907_8-unsat--soft-66-100-0.wbo	? (TO)	1800.29	1842.22	3715743
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573901--soft-33-100-0.wbo	? (TO)	1800.31	1812.52	3715613
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900554420--soft-33-100-0.wbo	? (TO)	1800.31	1799.41	3715599
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv10.ucl--soft-66-100-0.wbo	? (TO)	1800.31	1833.32	3715700
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh19_wcsp.wbo	? (TO)	1800.32	1813.62	3715816
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh302_wcsp.wbo	? (TO)	1800.32	1837.21	3715828
/PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh208_wcsp.wbo	? (TO)	1800.32	1829.82	3715819
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo	? (TO)	1800.35	1865.51	3715682
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.36	1817.51	3715574
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo	? (TO)	1800.36	1861.72	3715614
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo	? (TO)	1800.39	1811.62	3715670
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-33-100-0.wbo	? (TO)	1800.45	1817.11	3715664
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo	? (TO)	1800.46	1801.72	3715671
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3046_4-unsat--soft-33-100-0.wbo	? (TO)	1800.48	1887.52	3715719
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-66-100-0.wbo	? (TO)	1800.58	1821.52	3715580
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3041_4-unsat--soft-66-100-0.wbo	? (TO)	1800.63	1819.42	3715718
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-66-100-0.wbo	? (TO)	1800.65	1805.01	3715652
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-66-100-0.wbo	? (TO)	1800.69	1798.41	3715638
/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/ normalized-j9028_2-unsat--soft-66-100-0.wbo	? (TO)	1800.81	1808.01	3715740
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20--soft-33-100-0.wbo	? (TO)	1800.87	1800.62	3715660
/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo	? (TO)	1800.92	1806.22	3715610

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-66-100-0.wbo	Wrong Cert.	18.3372	19.6612	3715698
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-33-100-0.wbo	Wrong Cert.	18.4912	18.2391	3715697
/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan3.ucl--soft-66-100-0.wbo	Wrong Cert.	176.831	177.614	3715699
/PARTIAL-SMALLINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl--soft-33-100-0.wbo	Wrong Cert.	224.446	231.864	3715695

Benchmark Name	Answer	cost of falsified constraints	CPU time	Wall clock time	TraceID
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6027_4-unsat--soft-0-100-0.wbo	OPTIMUM	6	10.4714	10.4768	3715869
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j603_2-unsat--soft-0-100-0.wbo	OPTIMUM	4	10.6744	10.6738	3715872
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9039_3-unsat--soft-0-100-0.wbo	OPTIMUM	23	16.6035	17.6965	3715882
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9028_2-unsat--soft-0-100-0.wbo	OPTIMUM	8	37.8672	37.9033	3715880
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9012_2-unsat--soft-0-100-0.wbo	OPTIMUM	9	189.27	190.117	3715877

PB'12 competition: WBO track: benchmarks results per solver

Result page for solver npSolver inc-topdown-quickBound (complete)

Category "both soft and hard constraints, big integers, linear constraints" (PARTIAL-BIGINT-LIN)

Solver found the best solution (15 runs) [Show/Hide]

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

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

No recognized solution line (10 runs) [Show/Hide]

Solver wrongly claimed it found the best solution (1 run) [Show/Hide]

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

Category "both soft and hard constraints, small integers, linear constraints" (PARTIAL-SMALLINT-LIN)

Solver found the best solution (60 runs) [Show/Hide]

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

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

Category "only soft constraints, big integers, linear constraints" (SOFT-BIGINT-LIN)

Solver found the best solution (5 runs) [Show/Hide]

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

Category "only soft constraints, small integers, linear constraints" (SOFT-SMALLINT-LIN)

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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9048_1-unsat--soft-0-100-0.wbo	? (TO)	1511.46	1900.02	3715884
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9014_1-unsat--soft-0-100-0.wbo	? (TO)	1800	1801.61	3715878
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-0-100-0.wbo	? (TO)	1800.01	1800.51	3715856
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9010_6-unsat--soft-0-100-0.wbo	? (TO)	1800.01	1803.01	3715876
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf10.ucl--soft-0-100-0.wbo	? (TO)	1800.01	1800.92	3715849
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12015_3-unsat--soft-0-100-0.wbo	? (TO)	1800.02	1801.51	3715862
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.unbounded.all.ucl--soft-0-100-0.wbo	? (TO)	1800.02	1805.13	3715860
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf10.ucl--soft-0-100-0.wbo	? (TO)	1800.02	1800.62	3715855
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag14.ucl--soft-0-100-0.wbo	? (TO)	1800.04	1804.51	3715859
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9035_1-unsat--soft-0-100-0.wbo	? (TO)	1800.04	1824.22	3715881
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-0-100-0.wbo	? (TO)	1800.05	1802.32	3715853
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf9.ucl--soft-0-100-0.wbo	? (TO)	1800.05	1801.51	3715850
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j907_8-unsat--soft-0-100-0.wbo	? (TO)	1800.05	1821.81	3715885
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12026_5-unsat--soft-0-100-0.wbo	? (TO)	1800.05	1800.31	3715864
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl--soft-0-100-0.wbo	? (TO)	1800.06	1801.02	3715854
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-blast-tlan3.ucl--soft-0-100-0.wbo	? (TO)	1800.06	1854.02	3715840
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl--soft-0-100-0.wbo	? (TO)	1800.06	1800.42	3715846
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-full.all.ucl--soft-0-100-0.wbo	? (TO)	1800.07	1801.83	3715841
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-0-100-0.wbo	? (TO)	1800.07	1800.62	3715857
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6030_9-unsat--soft-0-100-0.wbo	? (TO)	1800.07	1803.92	3715870
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.8.accl.ucl--soft-0-100-0.wbo	? (TO)	1800.07	1801.11	3715851
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-0-100-0.wbo	? (TO)	1800.09	1802.31	3715858
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j605_1-unsat--soft-0-100-0.wbo	? (TO)	1800.09	1801.01	3715873
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12027_7-unsat--soft-0-100-0.wbo	? (TO)	1800.09	1800.51	3715865
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl--soft-0-100-0.wbo	? (TO)	1800.09	1800.91	3715847
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ic22arity.ucl--soft-0-100-0.wbo	? (TO)	1800.09	1800.63	3715842
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6010_2-unsat--soft-0-100-0.wbo	? (TO)	1800.09	1805.12	3715868
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j9015_10-unsat--soft-0-100-0.wbo	? (TO)	1800.09	1800.82	3715879
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12013_1-unsat--soft-0-100-0.wbo	? (TO)	1800.1	1800.51	3715861
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-0-100-0.wbo	? (TO)	1800.1	1802.22	3715843
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-cache.inv12.ucl--soft-0-100-0.wbo	? (TO)	1800.1	1800.41	3715845
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j605_10-unsat--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3715874
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12041_4-unsat--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3715866
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j6033_2-unsat--soft-0-100-0.wbo	? (TO)	1800.13	1824.41	3715871
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-cache.inv10.ucl--soft-0-100-0.wbo	? (TO)	1800.17	1808.12	3715844
/SOFT-BIGINT-LIN/PB10/oliveras/j90/ normalized-j903_10-unsat--soft-0-100-0.wbo	? (TO)	1800.18	1849.51	3715883
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j12023_3-unsat--soft-0-100-0.wbo	? (TO)	1800.24	1806.72	3715863
/SOFT-BIGINT-LIN/PB10/oliveras/j120/ normalized-j1205_1-unsat--soft-0-100-0.wbo	? (TO)	1800.25	1810.92	3715867
/SOFT-BIGINT-LIN/PB10/oliveras/j60/ normalized-j606_1-unsat--soft-0-100-0.wbo	? (TO)	1800.34	1827.41	3715875
/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.RobRegValid_bar.ucl--soft-0-100-0.wbo	? (TO)	1801.77	1805.17	3715852
/SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl--soft-0-100-0.wbo	? (TO)	1811.22	1779.22	3715848

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-0-100-0.wbo	? (TO)	-1	-1	3715309
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-55-50--soft-0-100-0.wbo	? (TO)	-1	1801.82	3715978
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977273--soft-0-100-0.wbo	? (TO)	1613.5	1900.01	3715949
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo	? (TO)	1614.77	1900.02	3715964
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-0-100-0.wbo	? (TO)	1704.16	1900.13	3715306
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j308_1-unsat--soft-0-100-0.wbo	? (TO)	1720.48	1900.01	3715323
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-0-100-0.wbo	? (TO)	1753.5	1900.01	3715299
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-3.ucl--soft-0-100-0.wbo	? (TO)	1753.62	1900.01	3715301
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j301_4-unsat--soft-0-100-0.wbo	? (TO)	1759.7	1900.01	3715319
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-44s.smv--soft-0-100-0.wbo	? (TO)	1780.97	1900.01	3715298
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-cache.inv8.ucl--soft-0-100-0.wbo	? (TO)	1798.12	1900.02	3715307
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3041_4-unsat--soft-0-100-0.wbo	? (TO)	1800.02	1801.92	3715321
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-22s.smv--soft-0-100-0.wbo	? (TO)	1800.02	1836.11	3715294
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-7.ucl--soft-0-100-0.wbo	? (TO)	1800.03	1812.62	3715304
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl--soft-0-100-0.wbo	? (TO)	1800.03	1809.12	3715305
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-0-100-0.wbo	? (TO)	1800.03	1819.11	3715940
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-0-100-0.wbo	? (TO)	1800.03	1803.81	3715314
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.2.accl.ucl--soft-0-100-0.wbo	? (TO)	1800.03	1801.11	3715312
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.03	1800.51	3715902
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.04	1801.92	3715903
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-0-100-0.wbo	? (TO)	1800.04	1800.41	3715293
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.04	1800.21	3715899
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo	? (TO)	1800.04	1800.51	3715980
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.04	1801.11	3715887
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-0-100-0.wbo	? (TO)	1800.04	1800.91	3715308
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo	? (TO)	1800.05	1808.41	3715947
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo	? (TO)	1800.05	1800.62	3715289
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3029_8-unsat--soft-0-100-0.wbo	? (TO)	1800.05	1801.01	3715320
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.06	1806.81	3715893
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111217392--soft-0-100-0.wbo	? (TO)	1800.06	1831.41	3715957
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552735--soft-0-100-0.wbo	? (TO)	1800.06	1800.41	3715914
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_36_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.06	1798.71	3715898
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag8.ucl--soft-0-100-0.wbo	? (TO)	1800.06	1821.31	3715318
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900568186--soft-0-100-0.wbo	? (TO)	1800.07	1800.61	3715925
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.07	1796.11	3715904
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-15-10--soft-0-100-0.wbo	? (TO)	1800.07	1800.41	3715970
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-105-100--soft-0-100-0.wbo	? (TO)	1800.07	1800.94	3715968
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978113--soft-0-100-0.wbo	? (TO)	1800.07	1817.62	3715951
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo	? (TO)	1800.07	1800.72	3715292
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-31-30--soft-0-100-0.wbo	? (TO)	1800.08	1801.01	3715973
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo	? (TO)	1800.08	1801.51	3715291
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.08	1814.51	3715886
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl10_20_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.08	1801.71	3715888
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-51-50--soft-0-100-0.wbo	? (TO)	1800.08	1801.51	3715977
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900562192--soft-0-100-0.wbo	? (TO)	1800.08	1800.51	3715920
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967142--soft-0-100-0.wbo	? (TO)	1800.08	1800.91	3715938
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-0-100-0.wbo	? (TO)	1800.08	1824.82	3715316
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-4.ucl--soft-0-100-0.wbo	? (TO)	1800.08	1839.42	3715302
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-0-100-0.wbo	? (TO)	1800.08	1801.21	3715981
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.08	1802.91	3715890
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670167--soft-0-100-0.wbo	? (TO)	1800.09	1800.51	3715935
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567985--soft-0-100-0.wbo	? (TO)	1800.09	1800.41	3715924
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.09	1801.92	3715897
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900670234--soft-0-100-0.wbo	? (TO)	1800.09	1800.41	3715936
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-6.ucl--soft-0-100-0.wbo	? (TO)	1800.09	1844.91	3715303
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo	? (TO)	1800.09	1811.42	3715960
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_60_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.09	1800.81	3715906
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900581320--soft-0-100-0.wbo	? (TO)	1800.09	1800.41	3715931
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.09	1801.21	3715905
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-0-100-0.wbo	? (TO)	1800.09	1801.01	3715954
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900568706--soft-0-100-0.wbo	? (TO)	1800.1	1800.51	3715926
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900548667--soft-0-100-0.wbo	? (TO)	1800.1	1800.41	3715909
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo	? (TO)	1800.1	1808.11	3715972
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-floppy1-2.ucl--soft-0-100-0.wbo	? (TO)	1800.1	1823.91	3715300
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo	? (TO)	1800.1	1821.12	3715943
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900556231--soft-0-100-0.wbo	? (TO)	1800.1	1803.71	3715916
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo	? (TO)	1800.1	1797.91	3715967
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo	? (TO)	1800.1	1803.11	3715969
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_30_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.1	1800.91	3715894
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-61-60--soft-0-100-0.wbo	? (TO)	1800.1	1801.41	3715979
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584106--soft-0-100-0.wbo	? (TO)	1800.1	1800.82	3715932
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.1	1799.11	3715900
/SOFT-SMALLINT-LIN/PB10/oliveras/j60/ normalized-j602_7-unsat--soft-0-100-0.wbo	? (TO)	1800.11	1855.51	3715325
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900550720--soft-0-100-0.wbo	? (TO)	1800.11	1800.41	3715911
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976935--soft-0-100-0.wbo	? (TO)	1800.11	1806.51	3715948
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-35-30--soft-0-100-0.wbo	? (TO)	1800.11	1804.41	3715974
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.12	1795.31	3715895
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3715971
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-41-40--soft-0-100-0.wbo	? (TO)	1800.12	1799.01	3715975
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900544484--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3715907
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900545610--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3715908
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-37s.smv--soft-0-100-0.wbo	? (TO)	1800.12	1804.02	3715296
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900667195--soft-0-100-0.wbo	? (TO)	1800.12	1799.72	3715933
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900558739--soft-0-100-0.wbo	? (TO)	1800.12	1800.51	3715919
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564281--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3715921
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3715927
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900577940--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3715930
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3715929
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo	? (TO)	1800.12	1800.41	3715917
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-0-100-0.wbo	? (TO)	1800.12	1817.41	3715939
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900566157--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3715923
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900550006--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3715910
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-0-100-0.wbo	? (TO)	1800.13	1802.31	3715317
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557957--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3715918
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.13	1803.51	3715901
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551347--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3715912
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf6.ucl--soft-0-100-0.wbo	? (TO)	1800.13	1864.41	3715315
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900669797--soft-0-100-0.wbo	? (TO)	1800.13	1801.11	3715934
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3715913
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.13	1800.41	3715891
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213868--soft-0-100-0.wbo	? (TO)	1800.13	1811.42	3715955
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j309_10-unsat--soft-0-100-0.wbo	? (TO)	1800.14	1803.31	3715324
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-0-100-0.wbo	? (TO)	1800.14	1805.31	3715941
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212476--soft-0-100-0.wbo	? (TO)	1800.14	1779.51	3715953
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo	? (TO)	1800.15	1806.11	3715952
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111225605--soft-0-100-0.wbo	? (TO)	1800.15	1789.72	3715963
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900554072--soft-0-100-0.wbo	? (TO)	1800.16	1800.41	3715915
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo	? (TO)	1800.18	1786.71	3715965
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900565534--soft-0-100-0.wbo	? (TO)	1800.19	1801.11	3715922
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-0-100-0.wbo	? (TO)	1800.2	1818.72	3715310
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900570242--soft-0-100-0.wbo	? (TO)	1800.21	1802.31	3715928
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-81-80--soft-0-100-0.wbo	? (TO)	1800.21	1851.12	3715290
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo	? (TO)	1800.21	1801.32	3715942
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo	? (TO)	1800.21	1804.51	3715937
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972154--soft-0-100-0.wbo	? (TO)	1800.22	1813.21	3715944
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl20_21_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.23	1785.72	3715892
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222539--soft-0-100-0.wbo	? (TO)	1800.23	1802.61	3715959
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-0-100-0.wbo	? (TO)	1800.24	1811.22	3715966
/SOFT-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j3046_4-unsat--soft-0-100-0.wbo	? (TO)	1800.24	1829.91	3715322
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224451--soft-0-100-0.wbo	? (TO)	1800.24	1801.51	3715962
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1800.26	1802.45	3715896
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo	? (TO)	1800.29	1803.92	3715946
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111216411--soft-0-100-0.wbo	? (TO)	1800.3	1805.62	3715956
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111224255--soft-0-100-0.wbo	? (TO)	1800.33	1808.22	3715961
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-43s.smv--soft-0-100-0.wbo	? (TO)	1800.38	1799.52	3715297
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo	? (TO)	1800.41	1821.92	3715313
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-0-100-0.wbo	? (TO)	1800.48	1803.91	3715958
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo	? (TO)	1800.56	1800.62	3715976
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-elf.rf8.ucl--soft-0-100-0.wbo	? (TO)	1800.65	1815.02	3715311
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo	? (TO)	1800.78	1809.52	3715945
/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-25s.smv--soft-0-100-0.wbo	? (TO)	1800.9	1799.52	3715295
/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110977780--soft-0-100-0.wbo	? (TO)	1801.01	1802.92	3715950
/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo	? (TO)	1815.98	1797.51	3715889