root
file
detailed [325..349]
prev
next
detailed results (729 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl637.smt2
(content)
timeout
unsat
12.0s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl634.smt2
(content)
timeout
unsat
11.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl633.smt2
(content)
timeout
unsat
17.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl632.smt2
(content)
timeout
unsat
12.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl631.smt2
(content)
timeout
unsat
11.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl630.smt2
(content)
timeout
unsat
11.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl623.smt2
(content)
timeout
unsat
11.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl621.smt2
(content)
timeout
unsat
13s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl620.smt2
(content)
timeout
unsat
11.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl619.smt2
(content)
timeout
unsat
11.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl618.smt2
(content)
timeout
unsat
14s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl617.smt2
(content)
timeout
unsat
11.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl616.smt2
(content)
timeout
unsat
12.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl614.smt2
(content)
timeout
unsat
14.8s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl613.smt2
(content)
timeout
unsat
11.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl611.smt2
(content)
timeout
unsat
13.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl610.smt2
(content)
timeout
unsat
11.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl609.smt2
(content)
timeout
unsat
11.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl608.smt2
(content)
timeout
unsat
11.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl607.smt2
(content)
timeout
unsat
15.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl606.smt2
(content)
timeout
unsat
12.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl605.smt2
(content)
timeout
unsat
11.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl601.smt2
(content)
timeout
unsat
12.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl597.smt2
(content)
timeout
unsat
14s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl596.smt2
(content)
timeout
unsat
11.3s