root
file
detailed
prev
next
detailed results (652 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/dead_dnd004.smt2
(content)
unknown
unsat
11s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ020_size7.smt2
(content)
unknown
unsat
10.6s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ018_size6.smt2
(content)
unknown
unsat
10s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ018_size5.smt2
(content)
unknown
unsat
11.5s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ018_size4.smt2
(content)
unknown
unsat
10.9s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ016_size6.smt2
(content)
unknown
unsat
10.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ011_size6.smt2
(content)
unknown
unsat
10.8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ004_size9.smt2
(content)
unknown
unsat
10.5s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ004_size7.smt2
(content)
unknown
unsat
10.2s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ003_size8.smt2
(content)
unknown
unsat
11.2s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/PEQ/PEQ002_size8.smt2
(content)
unknown
unsat
10.0s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/NEQ/NEQ048_size6.smt2
(content)
unknown
unsat
11.1s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/NEQ/NEQ046_size5.smt2
(content)
unknown
unsat
11.2s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/NEQ/NEQ033_size6.smt2
(content)
unknown
unsat
11s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/NEQ/NEQ032_size3.smt2
(content)
unknown
unsat
10.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/NEQ/NEQ023_size5.smt2
(content)
unknown
unsat
10.7s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/NEQ/NEQ023_size4.smt2
(content)
unknown
unsat
10.6s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/NEQ/NEQ006_size5.smt2
(content)
unknown
unsat
10.9s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/NEQ/NEQ004_size7.smt2
(content)
unknown
unsat
11.1s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/NEQ/NEQ004_size6.smt2
(content)
unknown
unsat
10.9s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/NEQ/NEQ004_size4.smt2
(content)
unknown
unsat
10.3s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.1.prop1_ab_cti_max.smt2
(content)
unknown
sat
10.6s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_peg_solitaire.4.prop1_ab_fp_max.smt2
(content)
unknown
unsat
10.8s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_hanoi.3.prop1_ab_fp_max.smt2
(content)
unknown
sat
10.3s
sidekick-dev
/home/simon/w/sidekick/tests/QF_UF/2018-Goel-hwbench/QF_UF_firewire_tree.4.prop2_ab_reg_max.smt2
(content)
unknown
sat
10.0s