pseudoGLB
Number of instances: 382 (0 processed, 0 partially processed, 382 failed)
Processing completed
Partially processed
Processing failed
normalized-22s-smv
normalized-25s-smv
normalized-37s-smv
normalized-43s-smv
normalized-44s-smv
normalized-46s-smv
normalized-army10-14bt
normalized-army10-14ls
normalized-army11-17bt
normalized-army11-17ls
normalized-army12-21bt
normalized-army12-21ls
normalized-army13-24bt
normalized-army13-24ls
normalized-army8-9bt
normalized-army9-12ls
normalized-blast-floppy1-2-ucl
normalized-blast-floppy1-3-ucl
normalized-blast-floppy1-4-ucl
normalized-blast-floppy1-6-ucl
normalized-blast-floppy1-7-ucl
normalized-blast-floppy1-8-ucl
normalized-blast-tlan2-ucl
normalized-blast-tlan3-ucl
normalized-cache-ibm-q-unbounded-Icl2arity-ucl
normalized-cache-inv10-ucl
normalized-cache-inv12-ucl
normalized-cache-inv14-ucl
normalized-cache-inv8-ucl
normalized-chnl10-11-pb-cnf-cr
normalized-chnl10-15-pb-cnf-cr
normalized-chnl10-20-pb-cnf-cr
normalized-chnl15-16-pb-cnf-cr
normalized-chnl15-20-pb-cnf-cr
normalized-chnl15-25-pb-cnf-cr
normalized-chnl20-21-pb-cnf-cr
normalized-chnl20-25-pb-cnf-cr
normalized-chnl20-30-pb-cnf-cr
normalized-chnl30-31-pb-cnf-cr
normalized-chnl30-35-pb-cnf-cr
normalized-chnl30-40-pb-cnf-cr
normalized-chnl35-36-pb-cnf-cr
normalized-chnl35-40-pb-cnf-cr
normalized-chnl35-45-pb-cnf-cr
normalized-chnl40-41-pb-cnf-cr
normalized-chnl40-45-pb-cnf-cr
normalized-chnl40-50-pb-cnf-cr
normalized-chnl50-51-pb-cnf-cr
normalized-chnl50-55-pb-cnf-cr
normalized-chnl50-60-pb-cnf-cr
normalized-dbst-v30-e350-d15-mw10-1
normalized-dbst-v30-e350-d15-mw10-2
normalized-dbst-v30-e350-d15-mw10-3
normalized-dbst-v30-e350-d15-mw10-8
normalized-dbst-v30-e350-d15-mw10-9
normalized-dlx1c-rwmem-ucl
normalized-dlx1c-rwmem1-ucl
normalized-dlx1c-ucl
normalized-elf-rf10-ucl
normalized-elf-rf6-ucl
normalized-elf-rf7-ucl
normalized-elf-rf8-ucl
normalized-elf-rf9-ucl
normalized-fpga10-10-sat-pb-cnf-cr
normalized-fpga10-8-sat-pb-cnf-cr
normalized-fpga10-9-sat-pb-cnf-cr
normalized-fpga11-10-sat-pb-cnf-cr
normalized-fpga11-11-sat-pb-cnf-cr
normalized-fpga11-9-sat-pb-cnf-cr
normalized-fpga12-10-sat-pb-cnf-cr
normalized-fpga12-11-sat-pb-cnf-cr
normalized-fpga12-12-sat-pb-cnf-cr
normalized-fpga13-11-sat-pb-cnf-cr
normalized-fpga13-12-sat-pb-cnf-cr
normalized-fpga13-13-sat-pb-cnf-cr
normalized-fpga14-12-sat-pb-cnf-cr
normalized-fpga14-13-sat-pb-cnf-cr
normalized-fpga14-14-sat-pb-cnf-cr
normalized-fpga15-13-sat-pb-cnf-cr
normalized-fpga15-14-sat-pb-cnf-cr
normalized-fpga15-15-sat-pb-cnf-cr
normalized-fpga20-18-sat-pb-cnf-cr
normalized-fpga20-19-sat-pb-cnf-cr
normalized-fpga20-20-sat-pb-cnf-cr
normalized-fpga25-23-sat-pb-cnf-cr
normalized-fpga25-24-sat-pb-cnf-cr
normalized-fpga25-25-sat-pb-cnf-cr
normalized-fpga30-28-sat-pb-cnf-cr
normalized-fpga30-29-sat-pb-cnf-cr
normalized-fpga30-30-sat-pb-cnf-cr
normalized-fpga35-33-sat-pb-cnf-cr
normalized-fpga35-34-sat-pb-cnf-cr
normalized-fpga35-35-sat-pb-cnf-cr
normalized-fpga40-38-sat-pb-cnf-cr
normalized-fpga40-39-sat-pb-cnf-cr
normalized-fpga40-40-sat-pb-cnf-cr
normalized-fpga45-43-sat-pb-cnf-cr
normalized-fpga45-44-sat-pb-cnf-cr
normalized-fpga45-45-sat-pb-cnf-cr
normalized-ooo-burch-dill-2-accl-ucl
normalized-ooo-burch-dill-3-accl-ucl
normalized-ooo-burch-dill-4-accl-ucl
normalized-ooo-burch-dill-6-accl-ucl
normalized-ooo-burch-dill-8-accl-ucl
normalized-ooo-rf10-ucl
normalized-ooo-rf6-ucl
normalized-ooo-rf7-ucl
normalized-ooo-rf8-ucl
normalized-ooo-rf9-ucl
normalized-ooo-tag10-ucl
normalized-ooo-tag12-ucl
normalized-ooo-tag14-ucl
normalized-ooo-tag8-ucl
normalized-pigeon-cardinality-101-100
normalized-pigeon-cardinality-105-100
normalized-pigeon-cardinality-11-10
normalized-pigeon-cardinality-15-10
normalized-pigeon-cardinality-21-20
normalized-pigeon-cardinality-25-20
normalized-pigeon-cardinality-31-30
normalized-pigeon-cardinality-35-30
normalized-pigeon-cardinality-41-40
normalized-pigeon-cardinality-45-40
normalized-pigeon-cardinality-51-50
normalized-pigeon-cardinality-55-50
normalized-pigeon-cardinality-61-60
normalized-pigeon-cardinality-65-60
normalized-pigeon-cardinality-71-70
normalized-pigeon-cardinality-75-70
normalized-pigeon-cardinality-81-80
normalized-pigeon-cardinality-85-80
normalized-pigeon-cardinality-91-90
normalized-pigeon-cardinality-95-90
normalized-pigeon-clauses-101-100
normalized-pigeon-clauses-105-100
normalized-pigeon-clauses-11-10
normalized-pigeon-clauses-15-10
normalized-pigeon-clauses-21-20
normalized-pigeon-clauses-25-20
normalized-pigeon-clauses-31-30
normalized-pigeon-clauses-35-30
normalized-pigeon-clauses-41-40
normalized-pigeon-clauses-45-40
normalized-pigeon-clauses-51-50
normalized-pigeon-clauses-55-50
normalized-pigeon-clauses-61-60
normalized-pigeon-clauses-65-60
normalized-pigeon-clauses-71-70
normalized-pigeon-clauses-75-70
normalized-pigeon-clauses-81-80
normalized-pigeon-clauses-85-80
normalized-pigeon-clauses-91-90
normalized-pigeon-clauses-95-90
normalized-ppp:1-11-19-21
normalized-ppp:1-12-16
normalized-ppp:1-13
normalized-ppp:1-3-13-19
normalized-ppp:1-9-16-19
normalized-ppp:3-13-25-26
normalized-reduced-cuww1
normalized-reduced-cuww2
normalized-reduced-cuww3
normalized-reduced-cuww4
normalized-reduced-cuww5
normalized-reduced-prob1
normalized-reduced-prob10
normalized-reduced-prob2
normalized-reduced-prob3
normalized-reduced-prob4
normalized-reduced-prob5
normalized-reduced-prob6
normalized-reduced-prob7
normalized-reduced-prob8
normalized-robin10
normalized-robin12
normalized-robin14
normalized-robin16
normalized-robin18
normalized-robin8
normalized-t2001-13queen13-1110966483
normalized-t2001-13queen13-1110966688
normalized-t2001-13queen13-1110967142
normalized-t2001-13queen13-1110967327
normalized-t2001-13queen13-1110967523
normalized-t2001-13queen13-1110967729
normalized-t2001-13queen13-1110968094
normalized-t2001-13queen13-1110968431
normalized-t2001-13queen13-1110968561
normalized-t2001-13queen13-1110968898
normalized-t2001-13queen13-1110969170
normalized-t2001-13queen13-1110969577
normalized-t2001-13queen13-1110969860
normalized-t2001-13queen13-1110969933
normalized-t2001-13queen13-1110970170
normalized-t2001-13queen13-1110970277
normalized-t2001-13queen13-1110970444
normalized-t2001-13queen13-1110970631
normalized-t2001-13queen13-1110971097
normalized-t2001-13queen13-1110971363
normalized-t2001-13queen13-1110971697
normalized-t2001-13queen13-1110971766
normalized-t2001-13queen13-1110972154
normalized-t2001-13queen13-1110972763
normalized-t2001-13queen13-1110972958
normalized-t2001-13queen13-1110973163
normalized-t2001-13queen13-1110973364
normalized-t2001-13queen13-1110973478
normalized-t2001-13queen13-1110973670
normalized-t2001-13queen13-1110973863
normalized-t2001-13queen13-1110974180
normalized-t2001-13queen13-1110974372
normalized-t2001-13queen13-1110974553
normalized-t2001-13queen13-1110975607
normalized-t2001-13queen13-1110975678
normalized-t2001-13queen13-1110975832
normalized-t2001-13queen13-1110975965
normalized-t2001-13queen13-1110976157
normalized-t2001-13queen13-1110976730
normalized-t2001-13queen13-1110976735
normalized-t2001-13queen13-1110976935
normalized-t2001-13queen13-1110977266
normalized-t2001-13queen13-1110977273
normalized-t2001-13queen13-1110977464
normalized-t2001-13queen13-1110977780
normalized-t2001-13queen13-1110978113
normalized-t2001-13queen13-1110978334
normalized-t2001-13queen13-1111212272
normalized-t2001-13queen13-1111212476
normalized-t2001-13queen13-1111212923
normalized-t2001-13queen13-1111213670
normalized-t2001-13queen13-1111213868
normalized-t2001-13queen13-1111216188
normalized-t2001-13queen13-1111216411
normalized-t2001-13queen13-1111216823
normalized-t2001-13queen13-1111216864
normalized-t2001-13queen13-1111217374
normalized-t2001-13queen13-1111217380
normalized-t2001-13queen13-1111217392
normalized-t2001-13queen13-1111217555
normalized-t2001-13queen13-1111218024
normalized-t2001-13queen13-1111218308
normalized-t2001-13queen13-1111218757
normalized-t2001-13queen13-1111218955
normalized-t2001-13queen13-1111219348
normalized-t2001-13queen13-1111219399
normalized-t2001-13queen13-1111219799
normalized-t2001-13queen13-1111220019
normalized-t2001-13queen13-1111220546
normalized-t2001-13queen13-1111220767
normalized-t2001-13queen13-1111221203
normalized-t2001-13queen13-1111221624
normalized-t2001-13queen13-1111221953
normalized-t2001-13queen13-1111222080
normalized-t2001-13queen13-1111222248
normalized-t2001-13queen13-1111222257
normalized-t2001-13queen13-1111222539
normalized-t2001-13queen13-1111223004
normalized-t2001-13queen13-1111223220
normalized-t2001-13queen13-1111223416
normalized-t2001-13queen13-1111223596
normalized-t2001-13queen13-1111223689
normalized-t2001-13queen13-1111223696
normalized-t2001-13queen13-1111224059
normalized-t2001-13queen13-1111224255
normalized-t2001-13queen13-1111224451
normalized-t2001-13queen13-1111224522
normalized-t2001-13queen13-1111224929
normalized-t2001-13queen13-1111225122
normalized-t2001-13queen13-1111225605
normalized-t2001-13queen13-1111226062
normalized-t2001-13queen13-1111226241
normalized-t2001-13queen13-1111226284
normalized-t2001-13queen13-1111226368
normalized-t2001-13queen13-1111226680
normalized-t2001-13queen13-1111227012
normalized-t2001-13queen13-1111227326
normalized-t2001-13queen13-1111227418
normalized-t2001-13queen13-1111227861
normalized-t2001-13queen13-1111228076
normalized-t3002-11tsp11-1900544463
normalized-t3002-11tsp11-1900544484
normalized-t3002-11tsp11-1900545610
normalized-t3002-11tsp11-1900546076
normalized-t3002-11tsp11-1900546417
normalized-t3002-11tsp11-1900547334
normalized-t3002-11tsp11-1900547353
normalized-t3002-11tsp11-1900547389
normalized-t3002-11tsp11-1900547416
normalized-t3002-11tsp11-1900547427
normalized-t3002-11tsp11-1900547461
normalized-t3002-11tsp11-1900548667
normalized-t3002-11tsp11-1900549974
normalized-t3002-11tsp11-1900550006
normalized-t3002-11tsp11-1900550720
normalized-t3002-11tsp11-1900551347
normalized-t3002-11tsp11-1900551864
normalized-t3002-11tsp11-1900552288
normalized-t3002-11tsp11-1900552311
normalized-t3002-11tsp11-1900552423
normalized-t3002-11tsp11-1900552735
normalized-t3002-11tsp11-1900553606
normalized-t3002-11tsp11-1900553644
normalized-t3002-11tsp11-1900553647
normalized-t3002-11tsp11-1900553812
normalized-t3002-11tsp11-1900554067
normalized-t3002-11tsp11-1900554072
normalized-t3002-11tsp11-1900554154
normalized-t3002-11tsp11-1900554373
normalized-t3002-11tsp11-1900554375
normalized-t3002-11tsp11-1900554389
normalized-t3002-11tsp11-1900554420
normalized-t3002-11tsp11-1900556231
normalized-t3002-11tsp11-1900557362
normalized-t3002-11tsp11-1900557413
normalized-t3002-11tsp11-1900557568
normalized-t3002-11tsp11-1900557574
normalized-t3002-11tsp11-1900557957
normalized-t3002-11tsp11-1900558106
normalized-t3002-11tsp11-1900558739
normalized-t3002-11tsp11-1900559365
normalized-t3002-11tsp11-1900559416
normalized-t3002-11tsp11-1900559641
normalized-t3002-11tsp11-1900559676
normalized-t3002-11tsp11-1900561288
normalized-t3002-11tsp11-1900561384
normalized-t3002-11tsp11-1900561389
normalized-t3002-11tsp11-1900562192
normalized-t3002-11tsp11-1900563250
normalized-t3002-11tsp11-1900563801
normalized-t3002-11tsp11-1900564281
normalized-t3002-11tsp11-1900564822
normalized-t3002-11tsp11-1900564824
normalized-t3002-11tsp11-1900565527
normalized-t3002-11tsp11-1900565534
normalized-t3002-11tsp11-1900566151
normalized-t3002-11tsp11-1900566157
normalized-t3002-11tsp11-1900566263
normalized-t3002-11tsp11-1900566270
normalized-t3002-11tsp11-1900567003
normalized-t3002-11tsp11-1900567024
normalized-t3002-11tsp11-1900567135
normalized-t3002-11tsp11-1900567939
normalized-t3002-11tsp11-1900567985
normalized-t3002-11tsp11-1900568186
normalized-t3002-11tsp11-1900568706
normalized-t3002-11tsp11-1900568952
normalized-t3002-11tsp11-1900569834
normalized-t3002-11tsp11-1900570242
normalized-t3002-11tsp11-1900571131
normalized-t3002-11tsp11-1900571132
normalized-t3002-11tsp11-1900571761
normalized-t3002-11tsp11-1900573137
normalized-t3002-11tsp11-1900573901
normalized-t3002-11tsp11-1900574864
normalized-t3002-11tsp11-1900574948
normalized-t3002-11tsp11-1900574974
normalized-t3002-11tsp11-1900575442
normalized-t3002-11tsp11-1900576151
normalized-t3002-11tsp11-1900576360
normalized-t3002-11tsp11-1900576918
normalized-t3002-11tsp11-1900576927
normalized-t3002-11tsp11-1900577000
normalized-t3002-11tsp11-1900577940
normalized-t3002-11tsp11-1900579996
normalized-t3002-11tsp11-1900581320
normalized-t3002-11tsp11-1900581321
normalized-t3002-11tsp11-1900582300
normalized-t3002-11tsp11-1900582376
normalized-t3002-11tsp11-1900583053
normalized-t3002-11tsp11-1900584106
normalized-t3002-11tsp11-1900584219
normalized-t3002-11tsp11-1900667195
normalized-t3002-11tsp11-1900669299
normalized-t3002-11tsp11-1900669309
normalized-t3002-11tsp11-1900669797
normalized-t3002-11tsp11-1900670167
normalized-t3002-11tsp11-1900670234
normalized-t3002-11tsp11-1900670675
normalized-t3002-11tsp11-1900670756
normalized-vdw-k3-l5-n550
normalized-vdw-k4-l4-n360
normalized-vdw-k6-l3-n170