root
file
detailed [525..549]
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/qg6/iso_icl_repgen004.smt2
(content)
timeout
unsat
11.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_repgen001.smt2
(content)
timeout
unsat
11.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen_sk011.smt2
(content)
timeout
unsat
17.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen_sk010.smt2
(content)
timeout
unsat
11.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen_sk009.smt2
(content)
timeout
unsat
11.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen_sk008.smt2
(content)
timeout
unsat
11.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen_sk007.smt2
(content)
timeout
unsat
13s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen_sk006.smt2
(content)
timeout
unsat
11.6s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen_sk005.smt2
(content)
timeout
unsat
11.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen_sk004.smt2
(content)
timeout
unsat
11.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen_sk003.smt2
(content)
timeout
unsat
11.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen_sk002.smt2
(content)
timeout
unsat
11.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen_sk001.smt2
(content)
timeout
unsat
11.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen013.smt2
(content)
timeout
unsat
11.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen012.smt2
(content)
timeout
unsat
11.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen011.smt2
(content)
timeout
unsat
11.2s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen010.smt2
(content)
timeout
unsat
11.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen009.smt2
(content)
timeout
unsat
11.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen008.smt2
(content)
timeout
unsat
11.4s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen007.smt2
(content)
timeout
unsat
12.5s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen006.smt2
(content)
timeout
unsat
11.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen005.smt2
(content)
timeout
unsat
13.9s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen004.smt2
(content)
timeout
unsat
11.7s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen003.smt2
(content)
timeout
unsat
11.3s
sidekick-dev
/home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg6/iso_icl_nogen002.smt2
(content)
timeout
unsat
13.2s