show full table

problem	zip-dev	zip-dev.time
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT122+1.p	timeout	9.92
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT123+1.p	timeout	10.01
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT124+1.p	timeout	9.94
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT125+1.p	timeout	9.97
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT126+1.p	timeout	9.96
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT127+1.p	timeout	9.93
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT128+1.p	timeout	9.98
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT129+1.p	timeout	9.98
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT130+1.p	timeout	9.96
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT131+1.p	timeout	9.99
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT132+1.p	timeout	9.93
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT133+1.p	timeout	9.93
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT134+1.p	timeout	9.95
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT135+1.p	timeout	9.91
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT136+1.p	timeout	10.14
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT137+1.p	timeout	9.93
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT138+1.p	timeout	9.99
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT139+1.p	timeout	10.19
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT140+1.p	timeout	9.97
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT141+1.p	timeout	9.96
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT142+1.p	timeout	10.01
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT143+1.p	timeout	9.97
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT144+1.p	timeout	9.97
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT145+1.p	timeout	9.97
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SCT/SCT146+1.p	timeout	10.14

full results