clingo version 5.1.0
Reading from test_data/T1_n_40_m_20_complete_0.lp
Solving...
Answer: 1

SATISFIABLE

Models       : 1
Calls        : 1
Time         : 15.343s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 15.330s
clingo version 5.1.0
Reading from test_data/T1_n_40_m_20_complete_1.lp
Solving...
UNSATISFIABLE

Models       : 0
Calls        : 1
Time         : 15.428s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 15.420s
clingo version 5.1.0
Reading from test_data/T1_n_40_m_20_complete_2.lp
Solving...
Answer: 1

SATISFIABLE

Models       : 1
Calls        : 1
Time         : 15.245s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 15.240s
clingo version 5.1.0
Reading from test_data/T1_n_40_m_20_complete_3.lp
Solving...
Answer: 1

SATISFIABLE

Models       : 1
Calls        : 1
Time         : 15.075s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 15.060s
clingo version 5.1.0
Reading from test_data/T1_n_40_m_20_complete_4.lp
Solving...
Answer: 1

SATISFIABLE

Models       : 1
Calls        : 1
Time         : 15.375s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 15.330s
