Features
Processor
Intel(R) Core(TM) i5-7300U CPU @ 2.60GHz 2.71GHz
RAM
8.00 GB
OS
Linux 4.4.0-17134-Microsoft
Program Versions
Mace4 (64) version 2009-11A, November 2009.
Prover9 (64) version 2009-11A, November 2009.
AGES, version 1.0
Barcelogic 2016
Timeout
120s
Date
05.04.26
Examples
confident
Ex18_Lucas_JLAMP24.trs
21.048
Ex1_IWC26.trs
1.037
Ex1_Lucas_FSCD24.trs
120
Ex1_Lucas_IWC24_GTRSs.trs
0.053
Ex1_Lucas_JLAMP24.trs
0.057
Ex2a_Lucas_JLAMP24.trs
2.071
Ex2b_Lucas_JLAMP24.trs
2.012
Ex2_IWC26.trs
21.006
Ex33_Lucas_FSCD24.trs
3.019
Ex49_Lucas_FSCD24.trs
22.052
Ex4_Lucas_IWC24_GTRSs.trs
21.05
Ex54bis_Lucas_JLAMP24.trs
0.081
Ex56L_Lucas_JLAMP24.trs
0.052
Ex56R_Lucas_JLAMP24.trs
96.059
Ex57_Lucas_JLAMP24.trs
58.006
Ex5_Lucas_FSCD24.trs
120
Ex5_Lucas_IWC24_GTRSs.trs
120
Ex6_Lucas_FSCD24.trs
120
Ex7_Lucas_CADE25.trs
120
Fig1_DLMMU_PEPM04.trs
65.042
Fig1_Lucas_CADE25.trs
3.008
Fig3L_Lucas_PROLE26.trs
2.09
Fig3R_Lucas_PROLE26.trs
0.016
INF2_DLMMU_HOSC08.trs
20.076
confident
Time
337.835
#YES
15
#MAYBE
5
#NO
4
Max. Time
120